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
|