I'm actually trying to prototype a language that gets you the best of both: * Clojure style dynamic development * A Lisp (with proper macros, homoiconicity etc

I'm actually trying to prototype a language that gets you the best of both: * Clojure style dynamic development * A Lisp (with proper macros, homoiconicity etc.) * Runs on JVM * Can use Clojure libraries unmodified * Static type system (similar to Typed Clojure, but as part of the compiler and driving real optimisations, not just as a separate static analysis tool) Still an early stage experiment right now, but I think it is the right idea: https://github.com/mikera/kiss https://github.com/mikera/kiss