Megarecord
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