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?

>>34
What Common Lisp has and what Haskell doesn't is run-time typing in addition to compile-time typing; not only do Lisp programs represented by Lisp objects have a ``type'' as understood by the compiler, but those Lisp objects themselves have a ``type'', like all living Lisp objects inside a running process.

By contrast run-time objects in Haskell have no type at all. They are just bits being flung around.

The best way I can put this is you don't have type-of nor could you ever write type-of because it simply doesn't make sense in that language. Types only exist as lexical program text entities understood by the compiler, not the program you write!