You can have type checking - or even much stronger validation - on runtime with contracts. Racket and TypedRacked are an example of how well contracts and stati

You can have type checking - or even much stronger validation - on runtime with contracts. Racket and TypedRacked are an example of how well contracts and static typing can work together, providing both compile-time and runtime guarantees. I'm sure something like this will come to "idustrial grade" languages in a decade or so...