I’m one of those programmers who doesn’t care about types. Am I coding in a dynamic language without compile type type checking? Great, I lean into it, hand me vim and a good testing framework. Putting me into a big Java codebase? OK, time to run IntelliJ and use automated refactoring to change the code. The type system dictates the style and trade offs so it’s just one more dimension that informs how you deal with the code and write new code.

I’m more worried about what I’m working on and why.