Lazy Pattern - OCaml.jpこのページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。 OCaml 3.11からはlazyパターンが導入されました。 まずはOCamlの遅延計算がどのようなものであるか、どのような問題点があったかを簡単に解説します。そして、lazyパターンを導入したことによって、どのように解決されるかを解説します。 おさらい: OCamlの遅延計算 OCamlでは一般のプログラミングと同様に正格評価が行われますが、lazyキーワードによって遅延計算を行うことができます。 lazy (do_something ())によって計算が遅延され、 遅延された計算はLazy.forceによって評価されます。一度、評価した式の結果は保存されるので、複数回同じ式が評価されることはありません。 例えば、以下の例ではlet x = lazy (print_endline "
