RowScript programming language, making a better browser world

A type-safe, high-level SQL library for PureScript

Ordo: A minimalist language with row polymorphism

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

My Attempt at System Fω with Row-Polymorphism

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

type-system, revised unification algorithm and runtime time representations

A programming language with first-class modules and algebraic effects.

Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings

An experimental type checker implementation

Row + Implicit arguments + MLF.

Some extra kit for row types