Talk:Call/cc
Jump to navigation
Jump to search
Should law of excluded middle continuations also be described? --Zzo38 (talk) 10:49, 31 January 2016 (UTC)
- Perhaps I should describe by myself: Define an operation called lem/cc which immediately returns a function. When that function is called, then it must go back and lem/cc instead returns the value passed as the argument to that function. (Note that call/cc corresponds to Peirce's law) --Zzo38 (talk) 12:31, 14 February 2016 (UTC)
> This is a one-way transfer - control never returns to the invoker of a continuation.
Unless the continuation is called via another call/cc, maybe it should be stated explicitly. --Blashyrkh (talk) 11:19, 28 October 2025 (UTC)