From: Roger Pack <rogerpack2005@...>
Date: 2009-06-02T01:12:51+09:00
Subject: Re: [ANN] Diamondback Ruby - Static Typing for Ruby

Mike Furr wrote:
> 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.

Gotcha--so currently diamondback ruby is basically used to "double check 
your unit tests" to make sure that there is no chance you would pass in 
an object to a method that doesn't "quack right" [i.e. wrong object 
somehow].  Does it with both static and dynamic analysis.  That's cool.

My first request from such a project would be it being able to generate 
the rdoc style
##% something -> something_else

*for* you so that it could be fed into a C translator or what not.
i.e. druby file.rb > file_with_types.rb
Cheers!
-=r
-- 
Posted via http://www.ruby-forum.com/.