Top 1,000 Features Creators Resources Blog Explorer Download
GitHub icon

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, 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.

View source

- Build the next great programming language 路 About 路 Acknowledgements 路 Extensions 路 Day 630 路 Donate 路 feedback@pldb.io