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

Re: the forward method [dynamic vs. static typing]

Chris Page wrote:

> On Dec 10, 2003, at 07:23, Pascal Costanza wrote:
>> It seems to me that you can only get this effect in a DT language by 
>> implementing your own type inferencer.
> Do you mean to say that "DT languages" don't have type inferencers, or 
> merely that you do not know of any such languages that have an 
> inferencer that supports this particular dispatching behavior?

Bad wording on my side. What I mean is this: You need static type 
inference in order to make Ken's example work, no matter whether the 
"base" language is ST or DT.


Pascal Costanza               University of Bonn
mailto:costanza@web.de        Institute of Computer Science III
http://www.pascalcostanza.de  Römerstr. 164, D-53117 Bonn (Germany)