Oleg provides various arguments against including call/cc as a language feature.
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 efficiently is more hard work to get around the capture of the whole continuation. Both the users and the implementors are better served with a set of well-chosen control primitives of various degrees of generality with well thought-out interactions.
Recent comments
2 weeks 2 days ago
6 weeks 6 days ago
6 weeks 6 days ago
7 weeks 2 days ago
7 weeks 2 days ago
10 weeks 1 day ago
10 weeks 6 days ago
11 weeks 11 hours ago
11 weeks 11 hours ago
11 weeks 5 days ago