4 ms·

I found both your comments exceptionally useful until the last sentence. There's plenty of excuse since it isn't being taught in undergrad computer science cour

I found both your comments exceptionally useful until the last sentence. There's plenty of excuse since it isn't being taught in undergrad computer science courses, etc. As one sample point, I have a PhD from a top-10 US institution. Partially in compilers. I'm motivated everyday to learn about programming. I hack on interpreters in my spare time. A lot. I am utterly 'ignorant of modern static typing'. Setting aside modesty, I'll submit that it isn't my fault.

dons 14y ago
Yeah, my comment is really more aimed at the schools that are teaching language design as if it was 1971. And you can always get a copy of TAPL, Types and Programming Languages Benjamin C. Pierce February 1, 2002 ISBN-10: 0262162091 --- And there's a typo above, Nilsson should be "Nielson", as in: "Flemming Nielson and Hanne Riis Nielson. Two-Level Functional Languages. Cambridge University Press, 1992. The Pfenning paper I was thinking of was the S4 stuff: A Modal Analysis of Staged Computation Rowan Davies and Frank Pfenning, 1996