> That you introduce more coupling is a tradeoff. No, the coupling (i.e. assumptions about what type this thing can be) is implicitly there in a typeless langu

> That you introduce more coupling is a tradeoff. No, the coupling (i.e. assumptions about what type this thing can be) is implicitly there in a typeless language. If you pass in the wrong thing it'll blow up. But it'll happen in production. The coupling is always there, it's just a matter whether you make it explicit (this allowing errors to be caught early) or you pretend it's not there and let things crash in production.