If you just don’t need the assurances, that seems true. In my world, anything the type system doesn’t do for me, I must do myself in unit tests. It’s actually

If you just don’t need the assurances, that seems true. In my world, anything the type system doesn’t do for me, I must do myself in unit tests. It’s actually possible to learn a type system and get good/fast at it. But typing out all those goddamn test cases never gets any easier, and updating them when the code changes is a nightmare.