Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42) cover
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
by J. Roger Hindley
Description: Basic Simple Type Theory presents an in-depth study of a fundamental system in type theory, focusing on its role and techniques relevant to programming language design. The book offers a detailed examination of type structures used in higher-level languages
ISBN: 0521054222
Found in 1 comment on Hacker News
View on Amazon
We may earn a commission from purchases made through links on this page.
Not ready yet? Get weekly book picks.
tombert · 2019-07-09 · Original thread
I'm still learning, but I've really enjoyed this book [1]. It's pretty theory-heavy, especially at first, but overall I have found it fairly approachable.

Also, Tony Hoare's book on CSP is actually a fairly interesting read; certainly interesting if you like Go. You can actually download it legally free here: [2]

In regards to type theory, I'd recommend starting by learning Haskell, just to make the terminology a little less scary, then picking up the book "Basic Simple Type Theory" by J Roger Hindley. Don't let the name fool you, it's still pretty heavy stuff; there's no way I would have been able to get through it if I hadn't learned Haskell beforehand. [3]

[1] https://www.amazon.com/Programming-Distributed-Computing-Sys...

[2] http://usingcsp.com/

[3] https://www.amazon.com/Simple-Cambridge-Theoretical-Computer...