Show HN: Ruby static type checker – proof of concept | Heykuki News