Next: First examples
Up: An introduction to the ALDOR
Previous: Motivations
- Imperative language, with flavours of functional and OO languages.
- Strongly typed.
- Both types an functions are first class:
they can be constructed during execution and used as any other value.
- Dependent types.
- Separate inheritance of interfaces (= categories) and
concrete classes (= domains).
- Parametric polymorphism.
- Types values belong to type categories.
- Post facto type extensions.
Next: First examples
Up: An introduction to the ALDOR
Previous: Motivations
Marc Moreno Maza
2003-06-06