[Date Prev][Date Next][Thread Prev][Thread Next]
- Subject: Re: LuaJIT without the JIT?
- From: Tony Finch <dot@...>
- Date: Sun, 26 Jun 2011 13:13:25 +0100
On 23 Jun 2011, at 15:47, Alex Queiroz <email@example.com> wrote:
> On Thu, Jun 23, 2011 at 4:40 PM, Javier Guerra Giraldez
> <firstname.lastname@example.org> 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.
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.)
f.anthony.n.finch <email@example.com> http://dotat.at/