3 ms·
Ask HN: 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 4y agolearn 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.