继续库

shift 和 reset 是原始控制流结构，如 Int.+是原始操作，Long 是原始类型。它们比任何一个都更原始，因为分隔的延续实际上可以用来构造几乎所有的控制流结构。它们不是非常有用的开箱即用，但是当它们在库中用于创建丰富的 API 时，它们真的很闪耀。

延续和单子也紧密相连。可以对 continuation monad 进行 Continuations，monad 是 continuation，因为他们的 flatMap 操作将继续作为参数。