> TODO: This page is still a fragment. Contributions welcome!| sorbet.org
Sorbet is a gradual type checker, which is a blessing and a curse.| sorbet.org
There are five ways to assert the types of expressions in Sorbet:| sorbet.org
Sorbet implements a **control flow-sensitive** type system. It models control| sorbet.org
Union types declare that a value either has one type, or some other type. The| sorbet.org
This doc will cover how to enable and disable the **static checks** that Sorbet| sorbet.org
> This page describes the syntax of method signatures, or `sig`s. For a complete| sorbet.org
The type `T.untyped` represents a type that Sorbet has no specific knowledge| sorbet.org