续篇很有趣。特别有趣的是它们如何包含所有其他单子。另外，我听说它们被大量用于优化。我听说它们可以用来做的一件事是对事物的控制反转。比如gui之类的。我想知道 Haskell 中是否有一个使用它的库示例。
我对它是否受欢迎或其他任何事情都不是特别感兴趣。我主要是为了阅读。需要考虑的因素：
- 直接延续，而不是延续导数：它应该基于类似于
newtype Cont r a = Cont ((a -> r) -> r). （组合器是可以的，但应该可以理解直接延续是如何适应它的。） - 用于控制反转：延续用于许多用途，但我主要对 GUI 类型的东西或控制反转使事情更容易的其他地方感兴趣
- 普遍性：延续应该是普遍的控制结构。
- 写得好：代码应该更容易阅读和学习。
（我想这样做的原因是我发现仅基于函数的 Continuations 是一个非常纯粹的函数式编程概念，同时非常强大。有一个我喜欢的库，它是非常直接的函数式编程，我很想继续扩展它。）
注意：作为直接的延续并不是很重要。控制反转是我主要追求的。