row-polymorphism
Here are 11 public repositories matching this topic...
Sort:Most stars
RowScript programming language, making a better browser world
- Updated
Nov 11, 2025 - Rust
A type-safe, high-level SQL library for PureScript
- Updated
Mar 2, 2023 - PureScript
Ordo: A minimalist language with row polymorphism
- Updated
Apr 8, 2025 - Rust
My Attempt at System Fω with Row-Polymorphism
- Updated
Jul 4, 2021 - OCaml
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
- Updated
Jan 18, 2020 - Python
type-system, revised unification algorithm and runtime time representations
- Updated
Dec 12, 2019 - OCaml
A programming language with first-class modules and algebraic effects.
- Updated
Dec 3, 2022 - OCaml
An experimental type checker implementation
- Updated
Nov 23, 2022 - Haskell
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
- Updated
Oct 16, 2024 - PureScript
Row + Implicit arguments + MLF.
- Updated
Jan 17, 2020 - Python
Improve this page
Add a description, image, and links to therow-polymorphism topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with therow-polymorphism topic, visit your repo's landing page and select "manage topics."