Understanding the Type of call/cc
Understanding the Type of call/cc
cross-posted from: https://sopuli.xyz/post/9969591
Understanding the Type of call/cc
He introduces but also criticizes the use of call/cc, 1. not being a function and looks like a function, 2. able to produce an union of types with it.
Is he correct? What do you think?
1 comments
He introduces but also criticizes the use of call/cc, 1. not being a function and looks like a function, 2. able to produce an union of types with it.
Is he correct? What do you think?