Understanding the Type of call/cc
Code:
https://gist.github.com/leafac/bd595f...
———
Related videos:
Playing the Game with PLT Redex: • Playing the Game with PLT Redex
Racket: Why I Think It’s a Great Language, and Why I’m Not Using It Anymore: • Racket: Why I Think It’s a Great Lang...
———
References:
http://okmij.org/ftp/continuations/ag...
https://groups.google.com/g/comp.lang...
https://en.wikipedia.org/wiki/Call-wi...
https://hackage.haskell.org/package/m...
https://www.smlnj.org/doc/SMLofNJ/pag...
https://github.com/racket/typed-racke...
https://docs.racket-lang.org/guide/co...
———
00:00 - Introduction
07:25 - Deriving the type of call/cc
23:50 - The rest of the story
30:18 - Conclusion