Show HN: Building a gradual type checker for Ruby | Heykuki News