this post was submitted on 04 Mar 2024
4 points (83.3% liked)

Functional Programming

1389 readers
4 users here now

founded 1 year ago
MODERATORS
 

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?

you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 1 points 8 months ago

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?