MonadFix以严格的语言编写

Question

我正在为Ocaml中的haskell-like标记做camlp4扩展，并试图弄清楚GHC如何编译递归do-bindings（使用-XDoRec启用）。
我想知道是否有可能以严格的语言（如Ocaml/F＃/ SML/...）存在monadic fixpoint combinator？
如果是，它怎么样？它会非常有用吗？

Answer 1

的F＃计算表达式语法（与哈斯克尔do）支持递归：

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

这是支持，因为计算生成器已经可以支持除了其他一元（或MonadPlus）操作Delay操作。该代码被转换成这样的：

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

类型的Delay是，一般来说，(unit -> M<'T>) -> M<'T>和诀窍是，它包装有效果（或立即递归引用）到被评价上的延迟计算的计算需求。

如果您想了解更多关于该机制在F＃中是如何工作的，那么下面的两篇论文是相关的：

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

第一个介绍了如何在F＃计算表达式语法已被解除（以及如何插入Delay - 以及一般情况下，F＃如何将延迟和渴望的计算与效果相结合），第二个描述了F＃如何处理let rec带值的声明 - 如上面的ones值。