MonadFix厳密な言語で

Question

私はOcamlでhaskellのようなdo notationのcamlp4拡張機能を開発しています.GHCがどのように再帰的do-bindingsをコンパイルするかを理解しようとしています（-XDoRecで有効）。
モナディック固定点コンビネータが厳密な言語（Ocaml/F＃/ SML/...のような）で存在する可能性はありますか？
はいの場合、どのように表示されますか？それは非常に便利だろうか？

Answer 1

（ハスケルdoに関連した）F＃の計算式の構文は再帰をサポートしています。計算ビルダーは、他のモナド（またはMonadPlusの）の操作に加えて、Delay操作をサポートする必要があるため

let rec ones = seq { 
    yield 1 
    yield! ones } 

これはサポートされています。上の評価される遅延計算に

let rec ones = 
    seq.Combine 
    (seq.Yield(1), 
     seq.Delay(fun() -> seq.YieldFrom(ones))) 

Delayのタイプは、一般的に、(unit -> M<'T>) -> M<'T>であり、トリックは、それが効果（または即時再帰参照）との演算をラップすることである：コードのようなものに変換されデマンド。

あなたはメカニズムがF＃でどのように機能するかについての詳細を知りたい場合は、以下の2つの論文は関連しています

• Syntax Matters: Writing abstract computations in F#
• Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge

最初のものはどのようにF＃のを記述する計算式構文が廃止されました（どのようにしてDelayが挿入されたのですか？一般的に、F＃が遅延計算と熱心な計算をどのように組み合わせてエフェクトを組み合わせるか）、2番目の方法はF＃の処理方法を説明します上記のones値のような値を持つ宣言。