> The dynamic typing guys complain about it being too stifling, while the static typing guys like me complain about it being too stifling without giving you any

> The dynamic typing guys complain about it being too stifling, while the static typing guys like me complain about it being too stifling without giving you any of the things you actually want in a type-system. Lose lose. Type system purists are blinded by their commitment to purity. All context is thrown out the window — it’s purism or bust. The absurdity here is profound; it’s “Lose Lose” unless you go all typing or none. And yet I completely understand the lament here. I think what the (smarter) type purists realize is that if they lose the purism position, static types do become much less of a tyrant tool and more like any other tool in our toolkit: a nominally useful one to be applied judiciously. Then they’d have to turn their attention to the unforgivingly dynamic outside world and market.