+1 for Clojure. S-expression based language with macros, runs efficiently on the JVM with type hints, all the Java libraries available. Callable from Java. Cleans up side effects nicely, while still allowing them when needed. Strong support for easy threading. Escape Java's high-ceremony hell without having to quit the job. Highly recommended.