On 17 oct. 04, at 01:53, Andres Valloud wrote:

> Hello Avi,
>
> Saturday, October 16, 2004, 2:33:30 PM, you wrote:
>
>>> My 2 cents: since we'd do that to get performance, and 90% of the 
>>> time
>>> is spent on less than 10% of the code, we should only see the 
>>> optional
>>> type tags in less than 10% of the code - otherwise it has no value.
> AB> Why for performance?  One of the cool things about animorphic was 
> that
> AB> the type annotations were completely ignored by the JIT, even 
> though
> AB> they were available.  The runtime info, I assume, was better.
>
> I thought the whole point of animorphic was speed.  But maybe the
> optional type tags have extra value that I don't see now.

The type system is not use at all for the optimisation. It uses Self 
like run-time optimisation.

Stef