Gradual Typing in Ruby - A Three Year Retrospective

Type Checking