An argument against call/cc
We argue against call/cc as a core language feature, as the distinguished control operation to implement natively relegating all others to libraries. The primitive call/cc is a bad abstraction -- in various meanings of `bad' shown below, -- and its capture of the continuation of the whole program is not practically useful. The only reward for the hard work to capture the whole continuation efficie
Continuations and Delimited Control
Introduction to programming with shift and reset Implementations of delimited control in OCaml, Haskell and Scheme A substructural type system for delimited continuations Streams and Iteratees How to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible An argument against call/cc Generators: yield = exceptions + non-determinism Generic Zipper: the co
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
