Type Inference - language feature

Example from 1 languages: Speedie

|| x = "Hello"
|| y = FunctionThatReturnsAString() // is now a string
x = 1 // fails to compile
y = 2 // fails to compile

Example from 1 languages: kaikai

let answer = 42

Example from 1 languages: Faber

let _ answer ← 42

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.

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