Gradual Typing of Ruby at Scale (Sorbet by Stripe)

You can try out Sorbet here: https://sorbet.run/