3 ms·
They have a C library for writing effect handlers in C, so you could potentially just use that directly: https://koka-lang.github.io/nodec/api/group__effect.ht
by naasking 3y ago
They have a C library for writing effect handlers in C, so you could potentially just use that directly:
https://koka-lang.github.io/nodec/api/group__effect.html https://koka-lang.github.io/nodec/api/group__effect.html
On GitHub:
https://github.com/koka-lang/libhandler https://github.com/koka-lang/libhandler
I believe it grew out of this prior work:
https://news.ycombinator.com/item?id=14887341 https://news.ycombinator.com/item?id=14887341