我真的很难理解callCC。我拥有Continuations的力量,并且在我的一些项目中一直在使用该概念来创建很酷的概念。但是我从来没有必要使用功能比cont :: ((a->r)->r)-> Cont r a
。
在使用它之后,很有意义,为什么他们将Cont Monad称为所有Monad的母亲,是的,我不知道何时需要使用callCC
,这正是我的问题。
我没有使用过
—
Alejandro Navas
reset
或shift
。我用它来定义一种嵌入式语言,可以将其挂起,直到给定的动作被另一个进程解决为止,然后以给定的“继续”继续进行。也许我给人留下了在Cont Monad方面有很多经验的印象,但实际上并没有那么多,我只是真的想了解callCC
Cont
?当你说你有没有需要使用的东西比功能更强大cont
,这是否意味着你没有使用reset
或shift
要么?