I wonder if you noticed the language which just shipped its first official version with: * a typing system some call "gradual typing" (loosely similar to optio

I wonder if you noticed the language which just shipped its first official version with: * a typing system some call "gradual typing" (loosely similar to optional typing); * a condition system; * "grammars/actions" which are not only first class in the language but are self-applied in a bootstrapping fashion during parsing (which I'm thinking is equivalent in power to reader macros); * CLOS inspired OO; * a MOP; * generic functions; * multiple dispatch; * multiple inheritance "done right".