except in the real world, seat belts are mandatory. Because not wearing them is always a net negative. giving me some confidence is completely useless on a lar

except in the real world, seat belts are mandatory. Because not wearing them is always a net negative. giving me some confidence is completely useless on a large scale, especially because the type system could literally be lying even when it does give me something when it is optional and unenforced (an external linter does not count as enforcement, because it is not exhaustive). I still have to write tests for everything to check types, or run some external type checker which is guaranteed to not be able to catch all errors because the language semantics don't even allow for it. giving me full confidence is not. In typed languages, if the compiler (not some external tool) says there are no type errors, then there are no type errors. I'm not "reasonably confident". I'm sure.