Hacker News new | ask | show | jobs
by ReleaseCandidat 904 days ago
> what is the fundamental difference

CL's condition system is one of the (possible) applications of an algebraic effect system (implemented using delimited continuations). Schemes have dynamically typed (delimited) continuations, for example.

1 comments

But going in the opposite direction, could you not also implement arbitrary effects using conditions? (Or delimited continuations in schemes)
I am not sure about conditions (I don't know enough about CL), but the effect system of Koka (and OCaml) uses delimited continuations. So it is doable in Scheme, with shift/reset or prompt/control or whatever primitives are defined.