https://github.com/olion-lang/olion
A programming language with Algebraic Effects on WASI
https://github.com/olion-lang/olion
algebraic-effects effect programming-language security wasi wasi-preview-2 wasm web-assembly webassembly
Last synced: 6 months ago
JSON representation
A programming language with Algebraic Effects on WASI
- Host: GitHub
- URL: https://github.com/olion-lang/olion
- Owner: olion-lang
- License: mit
- Created: 2025-06-30T23:51:01.000Z (7 months ago)
- Default Branch: idea
- Last Pushed: 2025-07-21T14:42:24.000Z (6 months ago)
- Last Synced: 2025-07-21T16:41:01.080Z (6 months ago)
- Topics: algebraic-effects, effect, programming-language, security, wasi, wasi-preview-2, wasm, web-assembly, webassembly
- Homepage:
- Size: 12.7 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
THIS IS CURRENTLY JUST AN IDEA.
THERE's ONLY WRITING-IN-PROGRESS DRAFTS, AND NO WORKING THINGS.
PLEASE WAIT FOR OUR INITIAL RELEASE!
Olion - A programming language with effect system on Wasm Component Model
(fully writing in progress...)
## Why Olion?
- **Static Effect Tracking**: All side effects of Olion program may causes are
statically checked by the type system.
- **Capability-Based Security**: Olion's effects (`$stdout`, `$fsread`, ...) are
seamlessly mapped to WASI, and their detailed capabilities are checked in runtime.
- **Portability**: Olion applications are built into Wasm Components, running on
any Wasm runtimes that supports Wasm Component Model.
## License
Olion is licensed under [MIT LICENSE](https://github.com/olion-lang/olion/blob/main/LICENSE).