From: Roger Pack <rogerpack2005@...>
Date: 2009-05-01T19:38:59+09:00
Subject: Re: [ANN] Diamondback Ruby - Static Typing for Ruby



>  * Type annotations: Methods may be given explicit type annotations
>    with an easy to use syntax inspired by RDoc.

Cool.  I wonder if it could integrate with yard or what not.

> 
>  * Dynamic checking: When necessary, methods can be type checked at
>    runtime, using contracts to isolate and properly blame any errant
>    code, similar to gradual typing.

Nice. I wonder if a psyco-like JIT could leverage this :)
-=r
-- 
Posted via http://www.ruby-forum.com/.