"Daniel Altman" <daniel at qkss.com> wrote:
> Hi Göran!
> 
> I agree with all you said, except this one:
> 
> > The problem here is that Smalltalk being a dynamically (vs statically)
> typed
> > language it becomes very hard to do compile time analysis of the code and
> > through that come up with any compile time type errors. So the notion of
> > generics/templates/whatever simply have very little *compile time* meaning
> in
> > Smalltalk.
> 
> There was some work about type inferencing that may be very useful here.
> Francisco Garau has built a type inferencer in Squeak. It could help us to
> do some static type error checking.

Yes, I am aware of type inferencing - but note my words "very hard to
do". That was my point. :-)

regards, Göran