There are five ways to assert the types of expressions in Sorbet:| sorbet.org
This is one of three docs aimed at helping answer common questions about Sorbet:| sorbet.org
Sorbet implements a **control flow-sensitive** type system. It models control| sorbet.org
As we've mentioned before, Sorbet is a [gradual](/docs/gradual) system: it can be| sorbet.org