Monad (functional programming) - Wikipedia, the free ...

跳到 Continuation monad - [edit]. A continuation monad with return type R maps type T into functions of type \left( T \rarr R \right) \rarr R . It is used to model ...

en.wikipedia.org