haskell - Y-Combinator 是单子吗？

Question

我试图了解使用 y-combinator 和 continuation monad 抽象函数之间的相似之处。直觉上，我觉得他们有共同点，但我还没有理解他们中的任何一个能够掌握答案。请帮忙。

Answer 1

它们是完全不同的概念。它们唯一的共同点是它们用于管理程序控制流。