Re: Issue: FUNCTION-TYPE-REST-LIST-ELEMENT

[Masinter.pa@Xerox.COM]

Charniak, Riesbeck, McDermott and Meehan's "Artificial Intelligence Programming"
, says:


"Also as recommended in Steele, if &REST is given in a FUNCTION type form, the
type that follows &REST refers to the type of each argument that &REST collects,
not to the type of the &REST variable (which is always a list). The definition
of + might begin

    (DEFUN + (&REST NUMBERS) ...)

 Its type is
    (FUNCTION (&REST NUMBER) NUMBER)."


Unfortunately, I've never found the place in CLtL where such a recommendation is
made.