TypeScript, Rust, and working on a huge projects impacted me the same way. Rather than "using types so that things run", I have been encouraging people to ”des

TypeScript, Rust, and working on a huge projects impacted me the same way. Rather than "using types so that things run", I have been encouraging people to ”describe business entities/constraints with types” in some languages. That's a way to get compilers to check half of your business constraints. But, I agree that some types are not worth it, particularly those not separating nullish from its non-nullish counterpart.