Re: LuaJIT without the JIT?

[Tony Finch <dot@...>]

On 23 Jun 2011, at 15:47, Alex Queiroz <asandroq@gmail.com> wrote:
> On Thu, Jun 23, 2011 at 4:40 PM, Javier Guerra Giraldez
> <javier@guerrag.com> wrote:
>> 
>> 
>> but when the variables don't have a static type, there's very little that can be known without running the code.
> 
>     Not true. A lot can be known without running the code.
> http://www.ccs.neu.edu/home/shivers/citations.html#diss

See also the Self papers. They were able to inline 95% of dynamic message sends (and Self programs are nothing but message sends) using static type inference. (Self also uses a lot of dynamic optimizations.)
http://selflanguage.org/documentation/published/

Tony.
--
f.anthony.n.finch  <dot@dotat.at>  http://dotat.at/