Concurrency system

[foliot]

Hi all, forgive me if this has been answered before, but what is the plan for concurrency/parallelism in Koka? Lightweight threads of some sort? A synchronous programming model, or async/await?

The effect handlers and memory management of Koka are really cool, and I think with good concurrency support, it could be an excellent server language.

[daanx]

Hi @foliot ; yes, koka will be great for asynchronous programming as it fits perfectly with algebraic effect handlers with respect to composition and cancelation. (I wrote about an async design before pdf).

Currently, I am about to start integrating libuv into koka and the plan is to use those primitives to build a nice async api on top using effect handlers. Hopefully we can experiment with this soon :-)

[foliot]

Awesome, thanks for the response!

[divs1210]

Any updates on this?