Alore is a programming language that supports both dynamic and static typing, and a mixture of both in the same program. This document is an introduction to the Alore type system. It explains how and why to use static types when programming in Alore.

Learning the Alore static type system in any detail is strictly optional for Alore programmers. If you want to get started quickly, you can begin with the dynamically-typed Alore subset and get back to the type system later, when you have more experience with the language.

Note: The implementation of the Alore type system is still incomplete, but it is already usable for fairly complex tasks. For example, the implementation of the type checker heavily uses static typing.