Show HN: Ruby static type checker – proof of concept (github.com)

If it meets the guidelines, this might make a good 'Show HN'. Show HN guidelines: https://news.ycombinator.com/showhn.html