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.