|| x = "Hello"
|| y = FunctionThatReturnsAString() // is now a string
x = 1 // fails to compile
y = 2 // fails to compile
Languages with Type Inference include Go, TypeScript, Rust, Swift, Scala, Kotlin, Haskell, Prolog, Crystal, D, Elm, Haxe, Chapel, F#, OCaml, Standard ML, ML, Wa-lang, Frege, Opa, RDF, Ceylon, Nemerle, Boo, Xtend, Stan, Speedie, Obliq
Languages without Type Inference include Veryl
View all concepts with or missing a hasTypeInference measurement
Read more about Type Inference on the web: 1.