Studiuję wytyczone przez Olega i Asai przedłużenia papieru "dla manekinów" (http://pllab.is.ocha.ac.jp/~asai/cw2011tutorial/main-e.pdf), ale w tym dokumencie używa się przesunięcia/resetowania formali
Próbuję zrozumieć kontynuację ogólnie po tym tutorial. Jednak mam trudności zrozumieć poniższy przykład w rozdziale 2.10: # let get() =
shift (fun k -> fun state -> k state state) ;;
get : unit