Roger Pack wrote:
>> I am pleased to announce that the first public release of the
>> Diamondback Ruby static type inference system is now available!
> What's an example of it in use? 

Diamondback Ruby is intended to be another development tool in the 
Rubyist's toolbox.  When developing an application, you can use it to 
discover bugs that may have been missed by your test suite or to verify 
documentation through the use of explicit type signatures.

> Could it theoretically be used to create a ruby->c translator?

Diamondback Ruby is built on top of a framework for Ruby source code 
analysis and transformation, so "theoretically" you could use that to 
build such a translator.  However, the framework only gives you a 
representation of the Ruby syntax (not unlike RubyParser) and does not 
directly reason about the evaluation of this code.  Thus, a C translator 
would need significantly more information about the semantics of Ruby, 
as all of this would have to be encoded in the emitted C code.

Cheers,
-Mike
-- 
Posted via http://www.ruby-forum.com/.