Sorbet implements a **control flow-sensitive** type system. It models control| sorbet.org
Sorbet supports abstract classes, abstract methods, and interfaces. Abstract| sorbet.org
Sorbet has syntax for creating generic methods, classes, and interfaces.| sorbet.org