On Sat, Oct 31, 2009 at 5:06 PM, Roger Pack <rogerpack2005 / gmail.com> wrote:
> ruby2c also does some ruby "call analysis" then conversion to static
> types, if that's helpful.

For a limited subset of Ruby (maybe the subset supported by Duby) it's
possible to globally infer some things. Not for all of Ruby, and
potentially not for the subset of Ruby syntax I want to support in
Duby.

> Regarding it being impossible...I think for small inner loops you should
> be able to convert from ruby to duby or what not. Plus duby is turing
> machine complete, right... ;)

We are already planning this much with a new compiler infrastructure
that can locally infer and optimize loops and math and so on. It
should bring us a long way toward competing with Java or C for in-body
numeric logic.

- Charlie