You can also check out the type checker by Ruby built by Stripe https://sorbet.org/