> "Types let me make changes to code I haven't taken the time to understand" is hardly the proof you seem to think it it's. I don't think you even understood

> "Types let me make changes to code I haven't taken the time to understand" is hardly the proof you seem to think it it's. I don't think you even understood the point at all here. "Types let me make guided and exhaustive changes to code that's much easier to understand due to the types and compiler support"