[gavmor]

> use a static analysis tool to check Ruby types ahead of time (still not a compiler)

I'll have to check out typeprof and sorbet.