|| 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, Swift, Rust, Scala, Haskell, Kotlin, Prolog, Crystal, D, Elm, Haxe, OCaml, F#, Standard ML, Frege, ML, Opa, RDF, Ceylon, Boo, Nemerle, Xtend, Stan, Speedie, Obliq
View all concepts with or missing a hasTypeInference measurement
Read more about Type Inference on the web: 1.