Gradual Type Checking and Sorbet
sorbet.org