|
|
|
@ -14855,7 +14855,7 @@ on. |
|
|
|
Thus, effect handlers are expressive enough to implement a wide |
|
|
|
variety of other programming abstractions. |
|
|
|
% |
|
|
|
We may wonder about the exact nature of this expressiveness, i.e. does |
|
|
|
We may wonder about the exact nature of this expressiveness, i.e. do |
|
|
|
effect handlers exhibit any \emph{essential} expressivity? |
|
|
|
|
|
|
|
% In today's programming languages we find a wealth of powerful |
|
|
|
|
