Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: first-class-polymorphisms

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

Language: Python - Size: 224 KB - Last synced at: almost 2 years ago - Pushed at: almost 6 years ago - Stars: 14 - Forks: 0

Related Keywords
first-class-polymorphisms 1 interactively-static-checking 1 programming-language 1 row-polymorphism 1 traits 1 type-inference 1