I can't type up a full answer right now, but for me, a strong type system is about being able to model my domain and bake all of my assumptions about that domai

I can't type up a full answer right now, but for me, a strong type system is about being able to model my domain and bake all of my assumptions about that domain into the types I define. It's a lot easier for me to reason about and avoid edge cases when I can (more or less) verify at compile time that invalid states are impossible. This is about more than just catching null values, and also encompasses things like mutually exclusive fields, and access control. If you're interested, I gave a talk once that dives into these ideas more effectively than I can express in this comment: https://github.com/ShaneWilton/programming-with-types-talk/blob/master/readme.md https://github.com/ShaneWilton/programming-with-types-talk/b...