Re: Records with labeled fields

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Wed, 13 Jul 2011 10:42:21 +0200

Antonio Regidor García wrote at July 12 (20:52):
> Five years ago there was a discussion on this list about adding labeled fields to Curry, but they were temporarily rejected. Has there been any progress on this? Are there any plans to add them?

After this discussion, Bernd Brassel worked on the alternative
concept of Leijen's extensible records which has been implemented
in PAKCS. This is described in the manual of PAKCS
http://www.informatik.uni-kiel.de/~pakcs/Manual.pdf
in Section 3.3. However, there are still some restrictions,
i.e., the complete concept is not yet implemented.

Best regards,

Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mi Jul 13 2011 - 10:43:10 CEST

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:10 CET