Automated Type Contracts Generation for Ruby

Duck Typing