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?

>>4
A language where all variables and expressions are of the same type, a pretentious way of referring to dynamically typed languages. Note that this isn't entirely correct because obviously values in such languages still have multiple different types, but don't mention it to those fabulous people who use the term "unityped" because then they tend to throw a tantrum along the lines of "but muh typed lambda calculus where only expressions are typed, so only expressions could be typed, everyone who has been talking about types of object for the last fifty years has been culturally appropriating muh terminoloogyyy".