This site is a static rendering of the Trac instance that was used by R7RS-WG1 for its work on R7RS-small (PDF), which was ratified in 2013. For more information, see Home. For a version of this page that may be more recent, see RecordsGleckler in WG2's repo for R7RS-large.


2011-06-21 01:47:56
2Added clarifications as requested by John Cowan.history

I propose a combination of a simple procedural abstraction for defining new types at the most fundamental level with a more convenient syntax for everyday use. I don't see a reason that we can't have both in WG1.

I propose RecordsCowan plus RecordsArcfide.

Types created using RecordsArcfide are implemented by RecordsCowan.

Types created using RecordsCowan may inherit from types created using RecordsArcfide. (Since RecordsArcfide doesn't support inheritance, it's not possible, without extension, to go the other way around.)