Records in Haskell
greg at gregweber.info
Fri Jan 20 15:51:05 CET 2012
Thank you Nils for those excellent links.
Yitz would like Agda's module/record setup which allows for multiple
modules in a single file.
Records are yet another local module.
The neat thing is, that like any module you can "open" it, or put it
into the scope of your current module for convenient use that avoids
the needs for qualifiers (see "Record opening example").
Johan, I think Agda's use of records might also be what you are getting at.
On Tue, Jan 17, 2012 at 7:10 AM, Nils Anders Danielsson <nad at chalmers.se> wrote:
> On 2012-01-16 19:16, Yitzchak Gale wrote:
>> Allow nested modules. [...]
> Perhaps Agda's module/record system can provide some inspiration:
> (I don't think the wiki pages above are entirely complete/up to date,
> but for the purposes of this discussion they should do.)
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
More information about the Glasgow-haskell-users