> This is just rehashing the same tired and fallacious argument that most errors aren't type errors. And it is pure fallacy because different languages have dif

> This is just rehashing the same tired and fallacious argument that most errors aren't type errors. And it is pure fallacy because different languages have different ideas as to what constitutes a type, Ok, so you are writing an algorithm for a fast approximation of ATANH using IEEE floating point standard. In type: IEEE floating point number Out type: the same. Tell me how the magical type checking of the excellent programming language you propose will ensure that my calculations are correct.