Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Type Inference

< >
Example from 1 languages: Speedie
|| 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.

- Build the next great programming language Add Issues About Search Keywords Livestreams Labs Resources Acknowledgements