wysk (cargo): A statically typed functional language with type inference, ad-hoc polymorphism, and an extensible operator syntax. Influenced by Rust, ML, and Haskell.
Keywords: ad-hoc-polymorphism|compiler|custom-operators|functional-programming|hindley-milner|programming-language