3 ms·
Andrej Bauer’s Eff[1] circa 2012 explored the connections with exception systems and delimited continuations pretty thoroughly, IIRC, though I’m not yet sure ho
by mananaysiempre 5y ago
Andrej Bauer’s Eff[1] circa 2012 explored the connections with exception systems and delimited continuations pretty thoroughly, IIRC, though I’m not yet sure how the present language relates to it.
[1] https://www.eff-lang.org/ https://www.eff-lang.org/