A statically typed functional language with type inference, ad-hoc polymorphism, and an extensible operator syntax. Influenced by Rust, ML, and Haskell.
programming-language
compiler
functional-programming
hindley-milner
ad-hoc-polymorphism
custom-operators
-
Updated
Aug 28, 2022 - Rust