Я пытаюсь понять продолжение в целом, следуя этому руководству.
Однако мне трудно понять следующий пример в разделе 2.10:
# let get () =
shift (fun k -> fun state -> k state state) ;;
get : unit => ’a = <fun>
state относится к типу int, я полагаю. Чего я не понимаю, так это типа k. Насколько я понимаю, k захватывает все вычисления, следующие за get (), и, поскольку мы говорим о монаде состояния, k разумно представлять вычисление, которое будет продолжено с помощью int, следовательно
k : int => 'a
но, судя по коду, этого не происходит, и требуется state во второй раз, что на самом деле означает:
k : int => int => 'a
но я не понимаю, откуда берется второй, и в каком смысле get относится к типу unit => 'a вместо unit => int => 'a?
По сравнению с реальной реализацией монады состояния путаница добавляет больше:
newtype StateT s m a = StateT { runStateT :: s -> m (a,s) }
то есть переход состояния представлен как функция от состояния к кортежу результата и состояния, что соответствует моему первому пониманию.
Кто-нибудь может дать наводку?
Во-вторых, как мне реализовать get здесь, используя Haskell Control.Monad.Trans.Cont? У меня проблемы с утешением системы типов.
ОБНОВИТЬ
Кажется, я получил второй:
Prelude Control.Monad.Trans.Cont> let get () = shift $ \k -> return $ \i -> k i i
Но я все еще не понимаю, почему мне нужно дважды применять состояние к продолжению.
