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!
kingkongjaffaa month ago
This blog is chock full of these ideas, start here:
https://jrsinclair.com/articles/2019/algebraic-data-types-wh...
stephantulopa month ago
Thanks, I will check it out
nbaksalyar2 months 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:
stephantulop2 months ago
Thanks a lot! Ordered a copy :)))
i_don_t_know2 months ago
Types and Programming Languages by Benjamin Pierce, sometimes also referred to as TAPL.
stephantulopa month ago
I only just saw this, thanks! Will check it out
randomNumber72 months ago
I 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.
stephantulop2 months ago
Name is correct, thanks a lot, I'll check it out!