TypeLead is developing Eta, a functional programming language designed to run on the Java Virtual Machine, aiming to combine the expressiveness of functional programming with the performance and portability of the JVM.