[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: the forward method [dynamic vs. static typing]
On Dec 10, 2003, at 09:58, Ken Shan wrote:
> On 2003-12-09T20:21:41-0800, Chris Page wrote:
>> Dylan, Lisp, Smalltalk and C++. In the sense that a compiler can look
>> at the return type of a function A and use that to dispatch a
>> subsequent call to function B (when you pass the result of A to B).
> That's not dispatching on the return type of a function; that's
> dispatching on the type of a value returned by a function.
> Dispatching on the return type of a function does not involve calling
> the function.
Which is why I specifically included Dylan and C++ in that list, both
of which can use the (statically-known) return type of function A to
dispatch the call to B at compile time. Also, I'm not certain Lisp or
Smalltalk should necessarily be excluded here. (Common) Lisp allows
type declarations and I've heard there are flavors of Smalltalk that
have them, as well.
But that paragraph of mine was meant to contrast with the topic at hand
to help clarify, not to argue that those languages do the kind of
dispatching being discussed.
Chris Page - Software Wrangler - palmOne, Inc.
Dylan + You = Code