[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: "types" or "records"?
Date: Tue, 13 Sep 2005 11:17:05 -0500 (CDT)
From: Donovan Kolbly <donovan@xxxxxxxxxxx>
Some of the terminology in this SRFI seems inconsistent. The procedural
layer talks about constructing "record type descriptors" (i.e.,
make-record-type-descriptor), but the syntactic layers talk about defining
types (i.e., define-type and type-descriptor).
The very title of the SRFI suggests that it's about records. Shouldn't
the syntactic layer be consistent with that?
I too dislike the term 'type' as used here and would rather that it be
restricted in standards documents only as a term for an abstract
concept in the language, not anything specific as it is used in this
SRFI. I believe DEFINE-TYPE is an artifact from Gambit, and I'd
rather see the old name DEFINE-RECORD-TYPE or some variation thereof.
Indeed, unless there is a good reason otherwise, I think it would be
better to support the old DEFINE-RECORD-TYPE syntax as the base,
extended for inheritance and automatic field initializers, and then to
build anything more sophisticated later, possibly on top of that.