Ask HN: A gentle introduction to type systems?
Just from writing applications in both python, typescript and rust I have developed a tacit understanding of the different type systems.
Typescript is very expressive and the ts-ignore is a nice escape hatch when you want to make something work first and then get the types to line up later. Rust doesn't have that and it's a kinda hard to make stuff quickly. Python just has horrible types – I run into type related issues at runtime all the time but probably a skill issue on my part.
I was wondering – is there a book that's like a gentle introduction to type systems? Everyone keeps recommending me text books and tbh I don't have time to go through it. But I would like to have a somewhat surface level understanding of how the "pros" talk about type systems. What does TS have that Python doesn't and why is Rust more aggressive than TS?
Not trying to make my compiler but just trying to develop a formal understanding of various type systems and how they differ.