DevHeads.net

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="https://www.cs.tufts.edu/~jfoster/papers/pldi19.pdf" title="https://www.cs.tufts.edu/~jfoster/papers/pldi19.pdf">https://www.cs.tufts.edu/~jfoster/papers/pldi19.pdf</a>

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