This fall, several people presented their work on Ruby type checkers. So let’s take a look: what’s the big deal, and what have they been up to? Why Type Check? Part of Ruby’s appeal is to be free of the cruft of its predecessors. So why is there so much interest in adding types to Ruby? Large, sprawling pr...