willtim/row-polymorphism

Example row-polymorphism implementations

Haskell

3 commits

updated Oct 3, 2023

See the code

README

row-polymorphism

Example row-polymorphism implementations.

AlgorithmW_Records.hs - an implementation of Daan Leijen's "Extensible Records with Scoped Labels".
AlgorithmW_ConstrainedRows.hs - an implementation of extensible records and variants using type variable constraints to prevent repeated labels.
AlgorithmW_Effects.hs - an implementation of row-polymorphic effect types using the above constrained-rows implementation.

NOTE:

For a more complete example of a language with row-polymorphism, checkout the Expresso project: https://github.com/willtim/Expresso

Contributors

willtim

3 commits

Similar repos

tomprimozic/type-systems

Implementations of various type systems in OCaml.

1,604

fumieval/extensible

Extensible records, variants, structs, effects, tangles

131

target/row-types

A Haskell library for open records and variants using closed type families and type literals

113

FrankBro/ordo

Ordo: A minimalist language with row polymorphism

yallop/effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

1,150

effekt-lang/effekt

A language with lexical effect handlers and lightweight effect polymorphism

469

justinwoo/awesome-rowlist

An attempt to catalog RowList/RowToList/row type content and memes

sdiehl/typechecker-zoo

A menagerie of cute implementations of modern typechecking algorithms

459

Languages

Haskell

97.6%

Nix

2.4%

willtim/row-polymorphism

Example row-polymorphism implementations

Haskell

3 commits

updated Oct 3, 2023

See the code

README

row-polymorphism

Example row-polymorphism implementations.

AlgorithmW_Records.hs - an implementation of Daan Leijen's "Extensible Records with Scoped Labels".
AlgorithmW_ConstrainedRows.hs - an implementation of extensible records and variants using type variable constraints to prevent repeated labels.
AlgorithmW_Effects.hs - an implementation of row-polymorphic effect types using the above constrained-rows implementation.

NOTE:

For a more complete example of a language with row-polymorphism, checkout the Expresso project: https://github.com/willtim/Expresso

Similar repos

tomprimozic/type-systems

Implementations of various type systems in OCaml.

1,604

fumieval/extensible

Extensible records, variants, structs, effects, tangles

131

target/row-types

A Haskell library for open records and variants using closed type families and type literals

113

FrankBro/ordo

Ordo: A minimalist language with row polymorphism

yallop/effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

1,150

effekt-lang/effekt

A language with lexical effect handlers and lightweight effect polymorphism

469

justinwoo/awesome-rowlist

An attempt to catalog RowList/RowToList/row type content and memes

sdiehl/typechecker-zoo

A menagerie of cute implementations of modern typechecking algorithms

459

Contributors

willtim

3 commits

Languages

Haskell

97.6%

Nix

2.4%