> introductory textbooks/blogs/resources on the topic Books on TypeScript, OCaml, Rust or Haskell are usually great resources for that. There's also "Thinking

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