Basic simple type theory

What Hacker News says

1. tombertJul 2019
   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...

   Show morethread
2. BellsOnSundayApr 2013
   Hindley's Basic Simple Type Theory is accessible and comes from the horse's mouth: http://books.google.co.uk/books/about/Basic_Simple_Type_Theo....
   thread