functional-programming - 延续单子(monad)？

Question

延续可以说是单子(monad)吗？它们是 monad 的子集还是仅仅是实现 monad 的一种方式？

编辑:或者也许我弄错了，单子(monad)是一个比延续更抽象的概念？ (所以我真的在这里比较苹果和橘子)

Answer 1

不仅是延续单子(monad)，而且它们是一种通用单子(monad)，从某种意义上说，如果你有延续和状态，你可以模拟任何功能单子(monad)。这个令人印象深刻但技术含量高的结果来自Andrzej Filinski 令人印象深刻且技术含量高的头脑。 ，他在 1994 年左右写道:

We show that any monad whose unit and extension operations are expressible as purely functional terms can be embedded in a call-by-value language with “composable continuations”.