[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Declaration before variable
- To: NGALL@BBNG.ARPA
- Subject: Declaration before variable
- From: "Scott E. Fahlman" <Fahlman@C.CS.CMU.EDU>
- Date: Fri, 25 Jul 1986 03:34:00 -0000
- Cc: common-lisp@SU-AI.ARPA
- In-reply-to: Msg of 23 Jul 1986 22:01-EDT from NGALL at G.BBN.COM
- Sender: FAHLMAN@C.CS.CMU.EDU
In response to the following suggestion by REM:
(DEFUN (STRING FOO) ((INTEGER X1 X2) (STRING S) (REAL Z))
I.e. anywhere a simple name can appear to introduce a new binding
of a variable or name of function, a list of two elements can appear
to both introduce the name and tell its type, including SPECIAL etc.
Anywhere a sequence of names can appear, a list of more than two
elements can appear, where the first element is the type and the
remaining elements are names, thus ... (INTEGER X1 X2) ... has the
same effect as ... (INTEGER X1) (INTEGER X2) ...
This idea has some merit, but in my view it is too radical a change to
consider now. Keep this in mind for Common Lisp 2000.