[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: updated version of SRFI 9
From: "Sergei Egorov" <esl@xxxxxxxxxxxxxxx>
Date: Tue, 31 Aug 1999 00:54:05 -0400
I agree with your approach to internal record-type definitions
("majority of programs won't use them, there is no consensus
on how to implement them, so they can be left to another SRFI"),
I am just trying to apply the same logic to the "top-level generativity"
It is easy to avoid the generativity issue for internal record-type
definitions - just don't allow any internal record-type definitions.
This won't work for top-level definitions.
First, I believe that majority of programs won't be relying on
the fact that defining the same record type twice will give you
two different record types.
When are two define-record-type forms the same? When are you guarenteed
to get distinct record types?
Second, I don't think there is a consensus on the equivalency
between record types introduced by two identical top-level
definitions. According to the same logic, this part can be dropped
from the SRFI.
The two situations are quite different. Internal definitions are
quite likely to be executed multiple times, under well-defined
circumstances. The only way I know of executing a top-level
definition multiple times is to capture a continuation at top
level, a somewhat questionable practice. Because I can write down
the generative semantics (`every execution of a define-record-type
gives a new record type') and I cannot write down the non-generative
semantics (with the possible exception of captured top-level
continuations), I chose the former.