The Scala programming language