Sorbet

Practical Gradual Type-Checking For Ruby