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

broom-lang / broom

Star

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

programming-language algebraic-effects modules compiler broom implicit type-inference type-class generalized-algebraic-data-type row-polymorphism

Updated Dec 3, 2022
OCaml

RemuLang / remu-type-system

Star

type-system, revised unification algorithm and runtime time representations

programming-language compiler type-system type-checker row-polymorphism

Updated Dec 12, 2019
OCaml

yubrot / titan

Star

An experimental type checker implementation

haskell type-system row-polymorphism

Updated Nov 23, 2022
Haskell

Kamirus / purescript-functional-concepts

Star

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

church-encoding gadt higher-order-functions typeclasses exists tagless row-polymorphism leibniz-equality gadts eadt

Updated Oct 16, 2024
PureScript

RemuLang / hybrid-type-system

Star

Row + Implicit arguments + MLF.

type-system type-inference traits type-classes row-polymorphism

Updated Jan 17, 2020
Python

cwd-k2 / gicel

Star

Embedded typed effect language for Go — Atkey indexed monads with row-typed capabilities. Purpose-built for AI agent sandboxing.

go programming-language golang functional-programming pattern-matching sandbox type-system pure-go type-classes embedded-language row-polymorphism effect-system indexed-monad capability-based-security

Updated Apr 18, 2026
Go

A statically-typed ML-family language in OCaml: Hindley-Milner type inference, row-polymorphic records, an optimizing decision-tree match compiler with exhaustiveness checking, and a bytecode stack VM, with property-tested type soundness.