Types: Introduction

Hack includes a strong static type system. This section covers the basic features of the type checker.

See also the is operator for checking the type of a value, and the as operator for asserting types.

Topics covered in this section