Scala (programming language)/Definition

High-level, compiled, type-checked programming language.