> perhaps the Diamondback Ruby research would be applicable
> to doing Ruby -> Duby/Surinx translation.

ruby2c also does some ruby "call analysis" then conversion to static 
types, if that's helpful.

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... ;)
-r
-- 
Posted via http://www.ruby-forum.com/.