Revised SRFI-76 (R6RS Records) draft
Donovan Kolbly
(02 Jan 2006 14:54 UTC)
|
Re: Revised SRFI-76 (R6RS Records) draft
Taylor Campbell
(02 Jan 2006 16:28 UTC)
|
Re: Revised SRFI-76 (R6RS Records) draft
Michael Sperber
(03 Jan 2006 17:04 UTC)
|
Re: Revised SRFI-76 (R6RS Records) draft
Taylor Campbell
(03 Jan 2006 21:00 UTC)
|
Re: Revised SRFI-76 (R6RS Records) draft
Michael Sperber
(04 Jan 2006 18:19 UTC)
|
Need to avoid breaking abstractions? Then *DON'T*.
bear
(10 Jan 2006 18:12 UTC)
|
Re: Revised SRFI-76 (R6RS Records) draft Per Bothner (03 Jan 2006 21:05 UTC)
|
Re: Revised SRFI-76 (R6RS Records) draft Per Bothner 03 Jan 2006 21:05 UTC
Michael Sperber wrote: > As we found out in the discussion leading to the draft, for records, > many facets of simplicity are in the eye of the beholder. We spent a > lof of time trying to make things as simple as we could by meeting the > requirements spelled out in the rationale. The current draft is, in > many way, already significantly simpler than the previous one, and > much closer to the spirit of SRFI 9 when it comes to the constructor > mechanism. As far as I can tell, the two forms of define-record-type don't actually clash: I.e. a valid SRFI-9 define-record-type cannot be a valid SRFI-76 define-record-type or vice versa. For SRFI-9 define-record-type, the 3rd "argument" is a predicate name - i.e. a symbol, and cannot be a list. For SRFI-76, all arguments except the first type-specifier (in the implicit-naming form) must be lists. So an implementation can offer both at the same time. -- --Per Bothner xxxxxx@bothner.com http://per.bothner.com/