『shift/resetプログラミング入門』

継続や限定継続の解説

前提とする知識

関数型言語の一般的な知識

基本的なOCamlの記法が読める

継続の知識は仮定しない

解説自体には出てこないが序文でcall/ccなどは出てくる

OCamlのsyntaxをよく知らないので詰まった箇所

code:ml

type a' result_t = Done

| Next of int * (unit / 'a -> 'a result_t / 'a)

code:hs

type Result a = Done

| Next Int (???)