Unityped vs multityped

Performance Warning: Matrix values are arrays, as exported by math/array. The same performance warning applies: operations are currently 25-50 times slower in untyped Racket than in Typed Racket, due to the overhead of checking higher-order contracts. We are working on it.
http://docs.racket-lang.org/math/matrices.html

Still not convinced that unityped languages suck ass?

>>33
What is controversial is that you were saying that "values in Haskell don't have types" which is just plain wrong. Now, of course in a language like Common Lisp you can redefine classes (and types) at runtime, but that's beside the point because they're still static declarations. They can be checked and enforced by the compiler statically. In unityped languages you just can't express that, you're locked into just one type for every value.