[jamespwilliams]

The most interesting parts of my comp sci degree were in this area - “models of computation”, and later “type systems for programming languages”, which started with lambda calculus, and culminated in studying Haskell’s type system (and its relation to lambda calculus).

It was surprising to me to discover how logical and mathematical Haskell’s type system is.

It’s the kind of topic that I’d probably not ever have thought about if I didn’t do a degree, but has had an impact on how I view other areas of computer science.