Megarecord icon indicating copy to clipboard operation
Megarecord copied to clipboard

My experiment about implementing Row Polymorphism in current Haskell

Megarecord

This is currently just an experiment on how far you can go with the GHC type system.

The result of all this is a revised proposal for builtin Row Polymorphism in GHC