This is as much a usability problem as it is a "getting it right" one. We could eventually "get it right" by plugging in raw machine code through switches or punchcards if that's really what it took, but what we're arguing over is the _price_ of getting it right.

Static types are implemented and available for use at the language level, which isn't true of all of those features in most environments.