Static types
From ym2149.org
- weird that params and return types are obsessively typed, but not exceptions
- all their stated advantages 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 typing things
