如何为Continuation Monad实现栈安全的chainRec算子？

最近我一直在试验Continuation Monad（简称Cont），想聊聊在不同语言里的实践体会：

• 在JavaScript中，Cont其实十分实用——它能对常见的回调模式进行抽象，把原本嵌套复杂的回调逻辑扁平化，让代码结构更清晰易读。
• 但处理单子递归时，栈溢出的风险始终存在：很多递归调用并不在尾位置，自然没法借助尾递归优化；就算我们费劲把部分场景转换成尾递归形式，也解决不了问题——因为JavaScript并不支持尾调用优化（TCO）。这种情况下，我们往往只能转而用循环来重构逻辑，避免栈溢出。
• 而PureScript就贴心多了，它提供了MonadRec类型类，专门用来处理单子递归场景，编译器会帮我们处理栈溢出的问题，不需要手动改成循环，用起来省心不少。

内容的提问来源于stack exchange，提问作者user6445533