>>18
but but but my shitty compiler (very likely to be GHC) can't do inference when there's subtypes!!!
Type inference is undecidable, you clown. That's why Java and C++ don't have it.
they're still there, the compiler is still free to use them for error checking and low-level optimization
Except that it can't when there's not enough declarations. And there are always shit coders in Indian bodyshops that will write without type declarations, and your code will have to interact with unityped (which is the same as untyped for practical purposes) code.
Try to do static array bound check elimination in Lisp. Oh, I forgot, with Lisp runtime has to check the type of every element of every collection, so if you want to add two arrays with billions of floats in them, Lisp has to check types billions of times.