3 ms·
Ask HN: Favourite resources for learning programming type theory?
Hello HN,
Recently, I've been massively enjoying diving into type checkers and how to effectively use them (mostly in Python).
I lack foundational knowledge about the topic (I never studied CS), however, so I am looking for introductory textbooks/blogs/resources on the topic.
More specifically: I see terms being thrown around like "Algebraic sum type", "covariant", "contravariant", and I would like to understand more about what they mean and imply in a practical sense.
Thanks!
- randomNumber7 2y agoI enjoyed some papers of Luca cardelli (when I remember the name correctly). There is also one overview/introduction about dependent type systems he wrote. This is all very theoretically heavy though.
- stephantul 2y agoName is correct, thanks a lot, I'll check it out!
- nbaksalyar 2y ago> introductory textbooks/blogs/resources on the topic Books on TypeScript, OCaml, Rust or Haskell are usually great resources for that. There's also "Thinking with Types" which addresses this topic in a lot of depth: https://thinkingwithtypes.com/ https://thinkingwithtypes.com/
- stephantul 2y agoThanks a lot! Ordered a copy :)))
- i_don_t_know 2y agoTypes and Programming Languages by Benjamin Pierce, sometimes also referred to as TAPL.
- stephantul 2y agoI only just saw this, thanks! Will check it out
- kingkongjaffa 2y agoThis blog is chock full of these ideas, start here: https://jrsinclair.com/articles/2019/algebraic-data-types-what-i-wish-someone-had-explained-about-functional-programming/ https://jrsinclair.com/articles/2019/algebraic-data-types-wh...
- stephantul 2y agoThanks, I will check it out