If you want to know what kaikai is about without reading a whole book, this video tells it in under six minutes.
You can also watch it on YouTube.
What you will see
- The flavor of the language. Immutable data, types defined by their cases, and pipes that announce their intent.
- Algebraic effects. A function’s signature says whether it logs, keeps state, or can fail, and the caller decides how each one is resolved.
- Tests without mocks. Even an actor’s mailbox can be replaced in a test, which finishes instantly and always gives the same result.
- Structured concurrency. Fibers are born inside a block and none of them outlives it.
- Kinds. Units of measure, currencies, and permissions that the compiler checks and that cost nothing at run time.
- Contracts. A function’s conditions are part of its signature, and the compiler proves the ones it can.
- Working with agents. A typed hole lets the program compile with pieces still pending, and the compiler tells the agent what it expects in each one.
Where to go next
If the video left you wanting to try it, install kaikai with one line, look at the examples, or read the book, which is complete online.