Example row-polymorphism implementations
Haskell Nix
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
src
.gitignore
README.md
shell.nix

README.md

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