Postings by Jeff Foster

RDL 2.2.0 release

I'm pleased to announce version 2.2.0 of RDL, a lightweight system for
adding types and contracts to Ruby.

NEW: This version of RDL includes support for "type-level
computations" (comp types), which help more precisely type arrays,
hashes, and Rails database queries. Comp types are described more
fully in our recent paper:

<a href="" title=""></a>

Note: RDL is a research project from Tufts University and the University
of Maryland, College Park.