Adding Type Checking in Ruby

Here’s an article on adding type-checking to Ruby which pays a lot of attention to the Types framework.