But going in the opposite direction, could you not also implement arbitrary effe... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

asQuirreL on Dec 31, 2023 | parent | context | favorite | on: Koka: Strongly typed functional-style language wit...

But going in the opposite direction, could you not also implement arbitrary effects using conditions? (Or delimited continuations in schemes)

ReleaseCandidat on Dec 31, 2023 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact