Common Lisp with types

Hey, CL is a good language, it has all these amazing tools like macros or CLOS and even assembler blocks. But. You see the shootout? CL sucks Java's dick. And even APL (what is it anyway?) has better performance CL. WTF WHY? Because all of those languages are statically typed. Why no one yet put all those fat-ass ANSI engineers and made them to write new standard with static types?

SBCL does type inference, and CL is gradually typed.
The type system can be better than that, though.

>CL is gradually typed
(setf *foo* 'ololo)
(setf *foo* "trollolo")
(setf *foo* 1)

WHERE?!

>>3
http://www.lispworks.com/documentation/HyperSpec/Body/d_type.htm

switch to pidigits
http://shootout.alioth.debian.org/u32/benchmark.php?test=pidigits&lang=all

There, CL (and Racket) kicked all the Javas asses, we win! LOL PHP

>>5
Fortran owned everyone.

>>6
Not even C is AS FAST AS FORTRAN.
Fortrans are the new standard unit for speed.

>>7
Java's speed is -1 · 10⁴⁰⁰ Fortrans.

>>8
So Java programs run backwards ridiculously fast? That should have some practical uses.

>>9
What was I thinking? Fuck.

Java's speed is 1 · 10^-400 Fortrans.

Ruby is 10^{_{-A(googolplexgoogle,G)}} Fortrans.

>>10
Now that makes more sense. It's because of GC.