|
|
|
@ -1653,15 +1653,7 @@ handlers sideline equational theories, despite equational theories |
|
|
|
being an important part of the original treatment of effect |
|
|
|
handlers. \citeauthor{Ziga20}'s PhD dissertation brings equations back |
|
|
|
onto the pitch as \citet{Ziga20} develops a core calculus with a novel |
|
|
|
local notion of effect theories. |
|
|
|
|
|
|
|
Lexical effect handlers are a variation on \citeauthor{PlotkinP09}'s |
|
|
|
deep handlers, which provide a form of lexical scoping for effect |
|
|
|
operations, thus statically binding them to their handlers. |
|
|
|
% |
|
|
|
\citeauthor{Geron19}'s PhD dissertation develops the mathematical |
|
|
|
theory of scoped effect operations, whilst \citet{WuSH14} and |
|
|
|
\citet{BiernackiPPS20} study them from a programming perspective. |
|
|
|
local notion of equational theories for algebraic effects. |
|
|
|
|
|
|
|
To get a grasp of the reasoning principles for effect handlers, |
|
|
|
interested readers should consult \citeauthor{McLaughlin20}'s PhD |
|
|
|
@ -1679,6 +1671,14 @@ with a novel computational dependent type, which makes it possible to |
|
|
|
treat type-dependency in the sequential composition of effectful |
|
|
|
computations uniformly. |
|
|
|
|
|
|
|
Lexical effect handlers are a variation on \citeauthor{PlotkinP09}'s |
|
|
|
deep handlers, which provide a form of lexical scoping for effect |
|
|
|
operations, thus statically binding them to their handlers. |
|
|
|
% |
|
|
|
\citeauthor{Geron19}'s PhD dissertation develops the mathematical |
|
|
|
theory of scoped effect operations, whilst \citet{WuSH14} and |
|
|
|
\citet{BiernackiPPS20} study them from a programming perspective. |
|
|
|
|
|
|
|
% Effect handlers were conceived in the realm of category theory to give |
|
|
|
% an algebraic treatment of exception handling~\cite{PlotkinP09}. They |
|
|
|
% were adopted early by functional programmers, who either added |
|
|
|
@ -1692,8 +1692,8 @@ functional perspectives on effect handlers are plentiful in the |
|
|
|
literature. There are only a a few takes on effect handlers outside |
|
|
|
functional programming: \citeauthor{Brachthauser20}'s PhD dissertation |
|
|
|
contains an object-oriented perspective on effect handlers in |
|
|
|
Java~\cite{Brachthauser20}; In \citeauthor{Saleh19}'s PhD dissertation |
|
|
|
provides a logic programming perspective via an effect handlers |
|
|
|
Java~\cite{Brachthauser20}; \citeauthor{Saleh19}'s PhD dissertation |
|
|
|
offers a logic programming perspective via an effect handlers |
|
|
|
extension to Prolog; and \citet{Leijen17b} has an imperative take on |
|
|
|
effect handlers in C. |
|
|
|
|
|
|
|
|
