From: gabriele renzi <surrender_it@...>
Date: 2005-06-01T05:20:22+09:00
Subject: Re: Intellisense and the psychology of typing

Austin Ziegler ha scritto:

>>Sorry, but If I recall correctly MSIL brings explicit type
>>informations, so that is not the same thing. The runtime inference
>>may happen, at least in HotSpot, when you are doing stuff like
>>using boxed structures and the JIT can transform them in a native
>>array once it figures they will hold integers.
> 
> 
> Mmmm. Not really. See my rather pointed post to Caleb. Self managed
> this as an dynamically typed language. HotSpot is based on Self's
> VM. Self would reoptimize based on cache and analysis. That's all
> I'm saying would have to happen here, in Ruby. Easy? Not at all. But
> a lot easier than changing the very nature of Ruby into something it
> isn't.

I think I understand what the point of our debate is:
you are thinking of a "fast" thing (i.e. the self system, which in the 
paper [1] is claimed to be from 5 to 2 times slower than  equivalent C 
code).

I am thinking of a "as-fast-as-C" implementation such as those claimed
by the CL people, and also thinking that the fastest *available platform 
* with a ruby-like enviroment, VisualWorks, is fast but again quite 
slower than C.

[1]
http://research.sun.com/self/papers/iterative-type-analysis.html