Which is not "use a typesafe language" but compile typehints to runtime check
code, like tcomb (which I love):
https://github.com/Microsoft/TypeScript/issues/5125