Show HN: Building a gradual type checker for Ruby
github.com