延续monad？ [英] Are continuations monads?

问题描述

延续可以说是单子吗？他们是monads的一个子集，或者他们只是实现monads的一种方式吗？

编辑：或者我错了， monads 比 continuations 更抽象。 （所以我真的在这里比较苹果和橘子）

简单地说，由于monad的'绑定'需要一个有效的延续（计算的其余部分的lambda）作为参数，单子就是这种意义上的延续。另一方面，延续传递风格可以使用monadic语法糖以非CPS语言有效地实现，正如下面的一些混合链接所暗示的那样。

从Haskell的所有关于monads的教程：

https://www.haskell.org/haskellwiki/All_About_Monads#The_Continuation_monad

一个F＃延续monad，用于执行'break'和'继续for for-style-loop

http://cs.hubfs.net/forums/thread/9311.aspx

以及将延续monad应用于问题的示例F＃：

http://lorgonblog.spaces.live.com/blog/cns!701679AD17B6D310!256.entry

Can continuations be said to be monads? Are they a subset of monads or are they simply a way of implementing monads?

Edit: Or maybe I got it wrong and monads is a more abstract concept than continuations? (So I'm really comparing apples to oranges here)

解决方案

Briefly, since the 'bind' of a monad takes an effective continuation (a lambda of the 'rest of the computation') as an argument, monads are continuations in that sense. On the flip side, continuation-passing style can be effectively implemented in a non-CPS language using monadic syntax sugars, as suggested by a number of misc links below.

From the 'all about monads' tutorial in Haskell:

https://www.haskell.org/haskellwiki/All_About_Monads#The_Continuation_monad

An F# continuation monad, used to implement 'break' and 'continue' for for-style-loops

http://cs.hubfs.net/forums/thread/9311.aspx

And example of applying a continuation monad to a problem in F#:

http://lorgonblog.spaces.live.com/blog/cns!701679AD17B6D310!256.entry

这篇关于延续monad？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！