How important is decidability in programming tools?
Keunwoo Lee (Cog)
Hoisted from the drafts folder because the discovery that TypeScript's system is Turing-complete is making the rounds. It's a common assumption in the programming language community that practical type systems should be decidable. Or, at least, it used to be: in the early 2000s, I had a grad...