Aldor

[1][2][3] It is the successor of A# as the extension language of the Axiom computer algebra system.

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): 99 Bottles of Beer: