first-class-polymorphisms

There are 0 repository under first-class-polymorphisms topic.

RemuLang / proud
The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as records, row polymorphisms, derived from ML's concise syntax
programming-language row-polymorphism traits type-inference interactively-static-checking first-class-polymorphisms
Language:Python 14

RemuLang / proud