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
Values in Haskell have types, because the compiler can infer them from values.
u wot mate? Values have types because values have types?

Again, expressions can have a type associated with them, and values can have a type associated with them.

You can't express the Liskov's substitution principle without allowing values to have types independent of the type of the expression referring to that value.

Also, as the post linked by >>11 shows, you can't even explain sum types without referring to the type the object of some sum type actually has.

That applies to >>21-chan with her ridiculous "For example in Haskell, values do not have types, only variables do; the compiler performs type erasure." Sure, girl, I can see that you're a proficient Haskell programmer and not a wannabe know-it-all.