Scala ticks all those boxes. http://www.scala-lang.org/