News for hackers. Stuff that matters.

A comment on Why is it worth spending time on type theory?. Parent comment

Re:Why is it worth spending time on type theory? by Verdex on Wednesday August 06, 2025 @09:00PM (#44819550)
I enjoyed Types and Programming Languages by Benjamin Pierce. Also vaguely related is the Implementation of Functional Programming Languages by Simon Peyton Jones (this is more about lambda calculus, but I found that when you pair type theory with lambda calculus you get some nice synergies as a programmer).
[ Parent | on HN ]

There are no comments on this comment yet.