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?

>>29
allowing values to have types independent of the type of the expression referring to that value.
Elaborate on that one, please. It looks like nonsense. An expression doesn't "refer" to a value, but it can be a value, or it can, for instance, evaluate to a value.
can't even explain sum types without referring to the type the object of some sum type actually has
U wot mate? An object of a sum type has that sum type, obviously. Don't mistake types and run-time classification tags.

>>30
It's time to grow up and realize that some expressions are values. Using words "expresssion" and "value" as if they're exclusive is just kindergarten-level.