Search Results for "inference"

...ML-like syntax maximizes expressiveness with additional readability and simplicity constraints. Tagged union types and type aliases with type parameters (aka generic types). Powerful type inference means you rarely have to annotate types. Everything gets checked for you by the compiler. The produced code is idiomatic, performant and can be easily read and analyzed without taking a single look at the original source. Elchemy's type system eliminates almost all runtime errors. .