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

Re: Generative record types

From: "R. Kent Dybvig" <dyb@cs.indiana.edu>
Subject: Re:  Generative record types
Date: Wed, 24 Apr 1996 16:44:40 -0500 (EST)

> 1. I am in favor of opaque types, and object to the make-record-type
> proposal on the grounds that it builds into the language support for
> breaking abstractions.  If we had a mechanism for specifying
> programming environment support, abstraction breaking mechanisms would
> be worth considering, but not as part of the language.
> [ ... ]

> 2. I object to the procedural interface and prefer a syntactic
> interface [ ... ]

I don't know if this matters to anyone, but let me just say I
completely agree with the above (as well as with Kent's reasoning,
which I have mostly deleted for brevity).