State MonadのCPS版では `get`はどのように動作しますか？

Question

私はこれに続く続きを一般的に理解しようとしています。tutorial。

しかし、私は困難がセクション2.10で次の例を理解するために持っています：

# let get() = 
    shift (fun k -> fun state -> k state state) ;; 
get : unit => ’a = <fun> 

state私は考えタイプintです。私が得ないのは、kのタイプです。私の理解によると、kは、すべての計算がget()後、その後来る取得し、我々は状態モナドについて話していることから、kが故に、

k : int => 'a 

しかしからintを取ることによって継続される計算を表現するのが妥当ですコードは、それを行うにはいないようですし、それが実際に意味二度目のためstateをとります。

k : int => int => 'a 

を私は二番目はどこから来ている取得しない、としたgetを感知しますのunit => int => 'aの代わりにunit => 'aと入力しますか？

は実際の状態モナドの実装と比較すると、混乱がもっと追加：

newtype StateT s m a = StateT { runStateT :: s -> m (a,s) } 

すなわち、状態遷移が私の最初の理解と一致した結果と、状態の組、に状態から関数として表されます。

誰もリードを与えることはできますか？

次に、ハスケルのControl.Monad.Trans.Contを使用してgetをここに実装する方法を教えてください。私はタイプシステムを快適にする問題を抱えています。

---

UPDATE私は2番目1つを得たようだ

：

Prelude Control.Monad.Trans.Cont> let get() = shift $ \k -> return $ \i -> k i i 

しかし、私は継続に二度の状態を適用する必要がある理由私はまだ得ることはありません。

Answer 1

最初のものはget()の結果に対応して（私たちはgetの効果は、現在の状態を取得し、結果としてそれを返すことにしたい）と第二の1の後の状態を渡すことに対応しているのであなたが二回stateにkを適用get（getは状態を変更しないため、getの前の状態と同じです）を次のステートフル計算に変更します。 a ~ s、継続タイプs -> s -> rの関数となるので、換言すれば

、状態モナドがState s a ~ s -> (a, s)あるので、そのCPSバージョンは、get : State s sためState s r a ~ s -> (a -> s -> r) -> r、などです。