This is the first public alpha release of Aiki.
Aiki is an experimental programming language and learning field designed to make computation explicit, inspectable, and easier to reason about. The alpha includes the language implementation, standard library, executable documentation, validation framework, examples, and the project's engineering record.
Aiki is cross-platform and is developed primarily on Linux. This alpha provides Intel/amd64 builds for Linux, Windows, and macOS. Linux and macOS both pass the full validation suite; Windows builds and runs, including graphics, but the suite has not been run there.
The language is usable and substantially implemented, but this is still an alpha. Syntax, library interfaces, tooling, and other parts of the system may change as the language is hardened and simplified.
Highlights include exact rational arithmetic, left-to-right evaluation, shaped data, isolated spawn concurrency, modules, graphics and turtle facilities, executable documentation, semantic profiling, and a broad invariant framework that keeps the implementation, documentation, and distributed source tree in agreement.
Prebuilt release archives are provided for:
aiki-v0.4.0-alpha-linux-amd64.tgzaiki-v0.4.0-alpha-macos-amd64.tgzaiki-v0.4.0-alpha-windows-amd64.zip
See the README for installation, Getting Started instructions, examples, project method, AI and authorship statement, limitations, and future direction.
Feedback on language behavior, reproducible failures, documentation, and the overall design is welcome.