Introduction to Alore Type System
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.
- Overview of static and dynamic typing
- Simple types
- Basics of type inference
- Using generic types
- Inheritance and subtyping
- Tuple types
- The dynamic type and mixed typing
- Function types
- Defining generic types and functions
- Intersection types
- Generic inheritance and generic interfaces