From: Phlip <phlip2005@...>
Date: 2009-04-23T07:55:05+09:00
Subject: Re: [ANN] Diamondback Ruby - Static Typing for Ruby

> Although still in development, DRuby is already able to type small,
> self-contained applications.  We are working to improve DRuby's
> analysis so that it can type larger code bases, including the standard
> library which is not yet supported.  Most of DRuby is implemented in
> OCaml, but pre-compiled binary gems are available for several
> platforms from our webpage.  Anyone who is interested in developing
> their own program analyses for Ruby are also encouraged to check out
> DRuby, as the core implementation is intended to be of general use.
> If you are interested in hearing about future releases, or have any
> questions or comments, please join our mailing list (see the above
> webpage).

How about the language journal all the results of running the 
user-programmer's unit tests, and use them to determine the actual types 
currently in use?

http://www.oreillynet.com/onlamp/blog/2008/05/dynamic_languages_vs_editors.html