row-polymorphism

There are 1 repository under row-polymorphism topic.

rowscript / rowscript
RowScript programming language, making a better browser world
functional-programing javascript programming-language row-polymorphism
Language:Rust 91
Kamirus / purescript-selda
A type-safe, high-level SQL library for PureScript
purescript purescript-selda sql-library sql postgresql sqlite3 edsl query-language query nested-queries row-polymorphism
Language:PureScript 88
FrankBro / ordo
Ordo: A minimalist language with row polymorphism
compiler row-polymorphism variants records programming-language
Language:Rust 71
kongware / ftor
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
functional-programming javascript currying composition combinators recursion higher-order-functions sum-types polymorphism lazy-evaluation tuples immutability parametric-polymorphism type-system purity tagged-unions scott-encoding row-polymorphism unification hindley-milner
Language:JavaScript 44
tominated / system_f_omega
My Attempt at System Fω with Row-Polymorphism
lambda-calculus functional-programming ocaml system-f system-f-omega row-polymorphism
Language:OCaml 30
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 / remu-type-system
type-system, revised unification algorithm and runtime time representations
compiler programming-language row-polymorphism type-checker type-system
Language:OCaml 12
broom-lang / broom
A programming language with first-class modules and algebraic effects.
modules algebraic-effects row-polymorphism compiler broom programming-language type-inference generalized-algebraic-data-type implicit type-class
Language:OCaml 10
Kamirus / purescript-functional-concepts
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
gadt leibniz-equality gadts eadt church-encoding exists higher-order-functions typeclasses row-polymorphism tagless
Language:PureScript 4
RemuLang / hybrid-type-system
Row + Implicit arguments + MLF.
type-system type-classes row-polymorphism traits type-inference
Language:Python 3
yubrot / titan
An experimental type checker implementation
haskell row-polymorphism type-system
Language:Haskell 3
yahyachan / merde
A toy functional language with row polymorphism.
row-polymorphism
Language:OCaml 0
athanclark / purescript-row-extra
Some extra kit for row types
purescript row-types row-polymorphism
Language:Dhall