Generics

Marcus Denker marcus at ira.uka.de
Fri Oct 3 13:46:25 UTC 2003


On Fri, Oct 03, 2003 at 10:19:06AM -0300, Daniel Altman 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.
> 
I registered Franciso's typeinferencer with SqueakMap some days ago:

http://map1.squeakfoundation.org/sm/package/ca0cadf9-6247-4eaf-bb00-d3528b218090

more information at http://typeinference.swiki.net/1

  Marcus

-- 
Marcus Denker marcus at ira.uka.de  -- Squeak! http://squeak.de



More information about the Squeak-dev mailing list