Languages with Type Inference include Go, Scala, Swift, Rust, Kotlin, Haskell, TypeScript, Prolog, Crystal, F#, OCaml, Elm, D, Haxe, ML, RDF, Standard ML, Frege, Nemerle, Boo, Ceylon, Opa, Xtend, Stan, Obliq, CLPR, GAEA, Static Typescript, Progol
Read more about Type Inference on the web: 1.
HTML of this page generated by Features.ts