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


Sections 1a and 6 of this proposal refer to the PROCEDURE type.  I
assume this is really supposed to be the FUNCTION type?

Also, I have a question about 1b, where it states that COMPILED-FUNCTION
is a subtype of FUNCTION.  Does this imply that it must be a *proper*
subtype?  For example, in the Lisp I've been working on sporadically for
my Atari, the interpreted version of (FUNCTION (LAMBDA ...)) returns a
compiled function object (it's a closure which will apply the lambda
expression to the function arguments).  Likewise I can conceive of
implementations which compile everything and don't have an "interpreter"
at all.  I think this needs to be clarified.