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
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
A static type checker for Ruby| sorbet.org
The type `T.untyped` represents a type that Sorbet has no specific knowledge| sorbet.org
| sorbet.org
> This feature is experimental and might be changed or removed without notice.| sorbet.org
Posted by mame on 12 Dec 2019| www.ruby-lang.org
Sorbet provides the most value when it has a wealth of programmer-supplied| sorbet.org
Sorbet supports abstract classes, abstract methods, and interfaces. Abstract| sorbet.org
`T.attached_class` can be used to refer to the type of instances from a| sorbet.org
Sorbet has syntax for creating generic methods, classes, and interfaces.| sorbet.org
As we've mentioned before, Sorbet is a [gradual](/docs/gradual) system: it can be| sorbet.org
Sorbet can track when a value is allowed to be `nil`, or when a value of a| sorbet.org
Sorbet supports method override checking. These checks are implemented as `sig`| sorbet.org
Intersection types are how we overlap two types, declaring that an expression| sorbet.org
RBI files are "Ruby Interface" files. Sorbet uses RBI files to learn about| sorbet.org