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
type-inference
traits
row-polymorphism
interactively-static-checking
first-class-polymorphisms
-
Updated
Jan 18, 2020 - Python