にバイナリ再帰を変換するために継続を使って、私は195ページの例のコードスニペットを見つけました: type ContinuationStep<'a> =
| Finished
| Step of 'a * (unit -> ContinuationStep<'a>)
let iter f binTree =
let rec linearize binTree c
Scalaの継続については、(hereとhere)についていくつか質問があります。しかし、答えはそれを説明しようとするだけです。だからこの質問では、(Scalaの)区切りの継続が何であるかの正式な定義を求めています。私は例を必要としませんが(それは助けになるかもしれませんが)、可能であれば簡略化された形式化として覚えておいてください。 形式化には構文(文法的な意味ではなく、f is a funct