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, OCaml, F#, Standard ML, Wa-lang, ML, Frege, Opa, RDF, Ceylon, Nemerle, Boo, Xtend, Stan, Speedie, Morloc, NOVA, Lateralus, Obliq

*

Languages without Type Inference include Veryl, Mach

*

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 路 Add Prompt 路 Issues 路 About 路 Search 路 Keywords 路 Livestreams 路 Labs 路 Resources 路 Acknowledgements

Built with Scroll v178.2.3