Types

Types are declared on vars over the scope in which they are used.

Example:

|| a -> string
|| b -> int

val a = "1"
val b = a.num()

---