Aldor programming language
| Paradigm | Multi-paradigm: object-oriented, functional, imperative, dependent typed, logic |
|---|---|
| Designed by | Richard Dimick Jenks, Barry Trager, Stephen Watt, James Davenport, Robert Sutor, Scott Morrison |
| Developer | Thomas J. Watson Research Center |
| First appeared | 1990 |
| Stable release |
1.0.3
|
| Preview release |
1.1.0
|
| Platform | Axiom computer algebra system |
| OS | Linux, Solaris, Windows |
| License | Aldor Public 2.0, Apache 2.0 |
| Filename extensions | .al, .as |
| Website | www |
| Major implementations | |
| Axiom computer algebra system | |
| Influenced by | |
| A#, Pascal, Haskell | |
Aldor is a programming language. It is the successor of A# as the extension language of the Axiom computer algebra system.
Aldor combines imperative, functional, and object-oriented features. It has an elaborate type system,"Aldor Programming Language". Aldor.org. allowing types to be used as first-class values. Aldor's syntax is heavily influenced by Pascal, but it is optionally indentation-sensitive, using whitespace characters and the off-side rule, like Python. In its current implementation, it is compiled, but an interactive listener is provided.
Aldor is distributed as free and open-source software, under the Apache License 2.0.
The Hello world program looks like this:
Example of dependent types (from the User Guide):
...
Wikipedia