Work in Progress

Scala 3 has not been released, yet. We are still in the process of writing the documentation for Scala 3. You can help us to improve the documentation.

Are you searching for the Scala 2 documentation?

Scala 3 — Book

Inferred Types


As with other statically typed programming languages, in Scala you can declare a type when creating a new variable:

val x: Int = 1
val x: Double = 1

In those examples the types are explicitly declared to be Int and Double, respectively. However, in Scala you generally don’t have to declare the type when defining value binders:

val a = 1
val b = List(1, 2, 3)
val m = Map(1 -> "one", 2 -> "two")

When you do this, Scala infers the types, as shown in the following REPL interaction:

scala> val a = 1
val a: Int = 1

scala> val b = List(1, 2, 3)
val b: List[Int] = List(1, 2, 3)

scala> val m = Map(1 -> "one", 2 -> "two")
val m: Map[Int, String] = Map(1 -> one, 2 -> two)

Indeed, most variables are defined this way, and Scala’s ability to automatically infer types is one feature that makes it feel like a dynamically typed language.

Contributors to this page: