'Scala, a new type-safe language that combines functional and object-oriented aspects at the language level and targets the Java Virtual Machine. Scala's type inference system and the promise of "scalable component abstractions" for software systems.'