Code:https://gist.github.com/leafac/bd595f3226e9148bfcaa327b896b84d8———Related videos:Playing the Game with PLT Redex: https://youtu.be/NszLQNROdw0Racket: Wh...

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?