[zackees]

But is that true if the dynamically typed language has type annotations?

[pdimitar]

They truly and tangibly help somewhat but people give them too much credit.

[preseinger]

it's a spectrum, of course, but imo yes -- i don't want types to be opt-in at compile time, i want them to be mandatory