Types, type checking, and contracts for Ruby - View it on GitHub