You actually mean statically typed. Scala is only limitedly type-safe, and is certainly not type-theoretic type-safe at all: $ cat NotTypesafe.scala

You actually mean statically typed. Scala is only limitedly type-safe, and is certainly not type-theoretic type-safe at all: $ cat NotTypesafe.scala object NotTypesafe { def main(args: Array[String]) { println("5".asInstanceOf[Int]) } } $ scalac NotTypesafe.scala $ scala NotTypesafe java.lang.ClassCastException: java.lang.String cannot be cast to java.lang.Integer http://en.wikipedia.org/wiki/Type_safety http://en.wikipedia.org/wiki/Type_safety