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?

>>24
Those aren't values, those are expressions (some atomic, consisting of literals). I should have said you can declare the type of ``expressions and variables'' (not just variables).

>>29
It's true though, Haskell does type erasure. Values in Haskell are untagged strings of bits. Types are strictly a compile-time thing.