On: Ask HN: Favourite resources for learning programming type theory?

[nbaksalyar]

> 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/

[stephantul → nbaksalyar]

Thanks a lot! Ordered a copy :)))