airlang_bin
| Crates.io | airlang_bin |
| lib.rs | airlang_bin |
| version | |
| source | src |
| created_at | 2023-04-23 03:52:55.398341+00 |
| updated_at | 2025-03-31 12:22:59.835052+00 |
| description | The Air Programming Language |
| homepage | |
| repository | https://github.com/LambdaAlpha/airlang_rs |
| max_upload_size | |
| id | 846332 |
| Cargo.toml error: | TOML parse error at line 17, column 1 | 17 | autolib = false | ^^^^^^^ unknown field `autolib`, expected one of `name`, `version`, `edition`, `authors`, `description`, `readme`, `license`, `repository`, `homepage`, `documentation`, `build`, `resolver`, `links`, `default-run`, `default_dash_run`, `rust-version`, `rust_dash_version`, `rust_version`, `license-file`, `license_dash_file`, `license_file`, `licenseFile`, `license_capital_file`, `forced-target`, `forced_dash_target`, `autobins`, `autotests`, `autoexamples`, `autobenches`, `publish`, `metadata`, `keywords`, `categories`, `exclude`, `include` |
| size | 0 |
lambda (LambdaAlpha)
documentation
README
The Air Programming Language
It is designed to be a universal, scalable and optimal programming language for abstraction-optimization and problem-solving.
It is an experimental proof-of-concept project and is still in the very early stages of development.
Goals
- All reasonable abstractions and problems are expressible
- Provide a universal, scalable and optimal framework for abstraction-optimization and problem-solving
Design
- Define
abstractionandproblemin theoretical computer science - Optimize abstractions and solve problems using computability, computational complexity and reverse computation theories
Demo
_"A demo of implementing a C-like for function"
do ; [
c_for = function ; {
context_access : mutable,
call_mode : id,
call : ctx : args -> do ; [
[.init, .condition, .next, .body] = .args,
.ctx | do ; [
.init,
.condition loop [
.body,
.next,
],
],
],
},
c_for [[i = 1, sum = 0], i <= 10, i = i + 1, sum = sum + i],
sum
]
Installation
cargo install airlang_bin