Theme extends Scheme with static typing. Properties of Theme include:
- Static type system
- A simple object system
- Multi-methods dispatched runtime (and also compile-time)
- Parametrized (type parameters) classes, types, and procedures
- A module system
- Two kinds of variables: constants and mutable variables. The value of a constant cannot be changed after the constant is created.
