[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:email@example.com Institute of Computer Science III
http://www.pascalcostanza.de Römerstr. 164, D-53117 Bonn (Germany)