[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Date: Tue, 1 Jul 86 10:13 EST
Date: Mon, 30 Jun 1986 23:25 EDT
From: "Scott E. Fahlman" <Fahlman@C.CS.CMU.EDU>
Perhaps we can try to converge on the argument-list business. Nick
Gall's proposal seems to be the leading contender for a low-cost
standard way of finding out how a function may legally be called. This
is an upward-compatible extension to the language:
I still think the right thing to do is to make (type-of <function>)
return a type signature for the function.
The problem is more general than that. Sometimes you just want the
word FUNCTION and sometimes the more elaborate thing. There is not
enough control over what TYPE-OF returns, and that, in turn, is because
there are many possible types to which an object might belong.