HACKER Q&A
📣 f1shy

Book to Start with Type Theory


I saw this post today: https://news.ycombinator.com/item?id=34358663 And I would like to understand it. Where ahould I begin?


  👤 yababa_y Accepted Answer ✓
learn how to write typed pure functional programs. then start to wonder what those programs might mean. then start to wonder what the language might mean.

learn you a haskell is a popular recommendation.