Comment by medo-bear

> Its not very smart to add static typing to Lisp [...] (outside of compiler optimisations, which is a different thing)

i think this is precisely the point of coalton. cl allows quite handy compiler optimizations and having the option to drop into a native statically typed environment just gives more bang to your lisp ;)

coalton is not lispy, sure, but neither is the loop macro, yet it is probably the most powerful looping mechanism in any language :)