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/