A statically typed programming language for scientific computations with first class support for physical dimensions and units
命令行科学计算器，支持很多种单位量
https://numbat.dev/
David Peter
2a6e11aad1
Formatting
|
2 years ago | |
|---|---|---|
| assets | 2 years ago | |
| book | 2 years ago | |
| examples | 2 years ago | |
| modules | 2 years ago | |
| numbat | 2 years ago | |
| numbat-cli | 2 years ago | |
| numbat-exchange-rates | 2 years ago | |
| numbat-wasm | 2 years ago | |
| vscode-extension | 2 years ago | |
| .gitignore | 3 years ago | |
| Cargo.lock | 2 years ago | |
| Cargo.toml | 2 years ago | |
| README.md | 2 years ago |
README.md
Numbat is a statically typed programming language for scientific computations with first class support for physical units.
Key features
- First class support for physical units and dimensions
- Static type checking (unit safety)
- Type inference
- Strict syntax
- REPL mode
- Excellent error messages
- Customizable: the whole system of physical dimensions and units is written in Numbat itself and can be modified or replaced
Development
Run Numbat CLI
cargo run -- <numbat args>
Install the CLI version
cargo install -f --path numbat-cli
Run all tests
cargo test