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?

  • wargreymon2023@sopuli.xyzOP
    link
    fedilink
    arrow-up
    1
    ·
    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?