From e419d52ee223858d2248287a41a00dd3ee32a8de Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Wed, 26 May 2021 10:28:44 +0100 Subject: [PATCH] WIP --- thesis.tex | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/thesis.tex b/thesis.tex index 54ba02c..744aa7d 100644 --- a/thesis.tex +++ b/thesis.tex @@ -14847,6 +14847,17 @@ the captured context and continuation invocation context to coincide. \def\N{{\mathbb N}} % +Effect handlers are capable of codifying a wealth of powerful +programming constructs and features such as exceptions, state, +backtracking, coroutines, await/async, inversion of control, and so +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 +effect handlers exhibit any \emph{essential} expressivity? + % In today's programming languages we find a wealth of powerful % constructs and features --- exceptions, higher-order store, dynamic % method dispatch, coroutines, explicit continuations, concurrency