A first integration of Roel Typer in Squeak
stéphane ducasse
ducasse at iam.unibe.ch
Fri Sep 30 18:13:40 UTC 2005
>
> Cool. I found the instance variables listing in the comment pane -
> is there anything else I missed?
>
> It's a lot of fun to browse through and see what types it picks
> up. For collections, it often shows something like:
>
> <ArrayedCollection Bag Heap Interval LinkedList MappedCollection
> OrderedCollection Set SkipList WeakRegistry>
>
> It's a little bit surprising that there's no common superclass of
> all of these that it could have found. Of course, that seems to
> place too much weight on inheritance - it almost makes me want to
> define some kind of first class abstract protocol (trait?) that
> captures what all of those have in common, so the type inferencer
> could just list that...
>
> I have no idea if this is feasible performance-wise, but it would
> be great to integrate this with Shout so that you got real-time
> feedback about whether the sends you're doing to instance variables
> are consistent with their currently inferred type.
and eCompletion!!!
Roel could type the complete visualworks image in really no time. So
I guess that this is possible.
He worked to make it really fast. He told me that caching is slower
than his analysis :)
Stef
>
> Avi
>
>
More information about the Squeak-dev
mailing list
|