... | @@ -8,7 +8,7 @@ The purpose of this page is to collect and discuss proposals for adding extensib |
... | @@ -8,7 +8,7 @@ The purpose of this page is to collect and discuss proposals for adding extensib |
|
|
|
|
|
# Proposals
|
|
# Proposals
|
|
|
|
|
|
- [Wolfgang Jeltsch's records library](http://www.informatik.tu-cottbus.de/~jeltsch/research/ppdp-2010-paper.pdf) This implements records as a library rather than as a language extension.
|
|
- [Wolfgang Jeltsch's records library](https://www.ioc.ee/~wolfgang/research/ppdp-2010-paper.pdf) This implements records as a library rather than as a language extension.
|
|
- [A proposal for records in Haskell](http://research.microsoft.com/~simonpj/Haskell/records.html) (wherein [ TRex](http://cvs.haskell.org/Hugs/pages/hugsman/exts.html#sect7.2) is rejected as having a high implementation cost)
|
|
- [A proposal for records in Haskell](http://research.microsoft.com/~simonpj/Haskell/records.html) (wherein [ TRex](http://cvs.haskell.org/Hugs/pages/hugsman/exts.html#sect7.2) is rejected as having a high implementation cost)
|
|
- [A Polymorphic Type System for Extensible Records and Variants](http://web.cecs.pdx.edu/~mpj/pubs/polyrec.html)
|
|
- [A Polymorphic Type System for Extensible Records and Variants](http://web.cecs.pdx.edu/~mpj/pubs/polyrec.html)
|
|
- [Scoped Labels](http://www.cs.uu.nl/~daan/download/papers/scopedlabels.pdf)
|
|
- [Scoped Labels](http://www.cs.uu.nl/~daan/download/papers/scopedlabels.pdf)
|
... | | ... | |