2026-05-02 17:13 UTC
@joe@f.duriansoftware.com What do you think is the maximal subset of effect handlers that can be supported well in a C-like language (with a C-like compilation model)?
Replies (1)
-
@joe@f.duriansoftware.com 2026-05-02 18:03
@zwarich@hachyderm.io hmm. if your notion of “c-like” means a dynamic call stack with no implicit allocation then you can’t get much further than “throw” or “read”/“write” style handlers that either throw away the continuation or return immediately. but if you can have multiple fibers/threads then you should be able to have any sort of handler that needs only a one shot continuation, which I think only practically rules out amb-style effects