Scala: A concise, powerful programming language with functional programming support and a strong static type system. Designed to overcome Java's criticisms.