繼續庫

shift 和 reset 是原始控制流結構，如 Int.+是原始操作，Long 是原始型別。它們比任何一個都更原始，因為分隔的延續實際上可以用來構造幾乎所有的控制流結構。它們不是非常有用的開箱即用，但是當它們在庫中用於建立豐富的 API 時，它們真的很閃耀。

延續和單子也緊密相連。可以對 continuation monad 進行 Continuations，monad 是 continuation，因為他們的 flatMap 操作將繼續作為引數。