Static types

• Weird that params and return types are obsessively typed, but not exceptions
  • In a language with checked exceptions, if a library is polluting your method signature, suck it up - your method throws that now
  • Java shat the bed with Streams by not letting you throw anything interesting through them
• All the claimed advantages of static types can be achieved via unit testing, which you need anyway
• Lightweight mocks redundant in the absence of static types, you can just use the test harness as a universal mock
• A kind of gatekeeping or hazing, you can join the programming club so long as you keep burning energy on cleaning the toilet that is typing things
• Naughty developers will simply subvert type checking to force through their changes
  • Moreover, sloppy developers will shoehorn types together in ways that are not logically correct
  • From their point of view, why be mindful when types keep trying to do that for you