On Mon, Apr 16, 2012 at 4:49 PM, Jonathan S. Shapiro <[email protected]>wrote:
> I came to it from a simple question: How do we know when two instances of
> something like List('a) are free to use the same underlying implementation?
>
It seems to me that the importance of this becomes less significant in the
face of JIT and polymorphic-inline-caches, since the inlined inner loop
will have both the list iteraction and the type specialized data handling.
I know much of your BitC work and other comments seem not fond of JIT..
I've simply resolved that JIT is essential since without it we can't have
modular compilation and performant polymorphism.
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev
