[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Revised SRFI-76 (R6RS Records) draft

This page is part of the web mail archives of SRFI 76 from before July 7th, 2015. The new archives for SRFI 76 contain all messages, not just those from before July 7th, 2015.

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

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
per@xxxxxxxxxxx   http://per.bothner.com/