https://hackerpaper.kaipfister.de/p/1409.3313/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=40196474urn:hackerpapers:mention:1409.3313:40196474Mon, 29 Apr 2024 10:05:56 GMT<p>The problem with typing continuations -in my opinion - stems from the fact that nearly all discussion of continuation starts from a functional context/view/programming language and often also in an untyped language/formalism. Additionally, CPS ends with &quot;style&quot; suggesting that it&#x27;s fully expressible in the original programming language. But if we truly type it after a style transformation we need to introduce polymorphism everywhere, see e.g. the first example for Haskell on https://en.m.wikipedia.org/wiki/Continuation-passing_style If we use CPS as an IR, typing the continuations as…</p><p><a href="https://hackerpaper.kaipfister.de/p/1409.3313/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.LO