WokML is a powerful, lightweight programming language. It works equally well as a glue language or as a general-purpose, standalone language. It was designed for deterministic, predictable performance.
WokML is released under an open source license.
Features
- Strict and purely functional. Evaluation is predictable and free of hidden side effects, so programs stay easy to reason about.
- Algebraic effects with handlers. Effects are first-class and composable — describe what an effect does, then handle it where it matters.
- Modes. A mode system refines how values may be used, layering extra guarantees on top of the types.
- Modern type system. Expressive, inferred types catch mistakes before your code ever runs.
- Deterministic performance. Built for predictable, repeatable performance rather than surprises at run time.
- Glue or standalone. Light enough to embed as a glue language, complete enough to build on its own.
Examples
Declarations are written one per line and composed by relation:
fixity + left fixity - same as + fixity * left fixity / same as *
There will be more until I disclose to you.
Download & Install
We will host a version manager named wokup for you to manage the compiler suite. We believe easy-to-install installation will make users like us!
Status
WokML is experimental (v0.1). The syntax and semantics are still settling — expect changes. Now I am working on the typechecker on the typeclass resolver and there will be a CEK style small step interpreter. Once it is done I will start to bootstrap it.