It's a hardware overhead that harms automatic testing, dude. Dynamic type systems are an abstraction used to make programming faster and that's pretty much it.

It's a hardware overhead that harms automatic testing, dude. Dynamic type systems are an abstraction used to make programming faster and that's pretty much it. Also they only show up in interpreted languages so that tells a lot about focus on performance. I personally think it's overwhelmingly more interesting to drop this abstraction in favor of stability.