Re:All you need is call/cc (2013)
by rscho on Wednesday August 25, 2021 @02:50PM
(#28305405)
Interesting! Can one have effect handlers in an untyped language such as scheme ?
[ Parent
| on HN ]
Yes! a nice aspect of effect handlers is that they have an untyped dynamic semantics.
Having said that, tracking effect types can be very beneficial, especially if you do interesting control flow like async/await for example.