|
|
@ -397,6 +397,9 @@ A whole programming paradigm known as \emph{effectful programming} is |
|
|
built around the idea of simulating computational effects using |
|
|
built around the idea of simulating computational effects using |
|
|
control effects. |
|
|
control effects. |
|
|
|
|
|
|
|
|
|
|
|
In this dissertation I also advocate a new programming paradigm, which |
|
|
|
|
|
I dub \emph{effect handler oriented programming}. |
|
|
|
|
|
|
|
|
% |
|
|
% |
|
|
\dhil{This dissertation is about the operational foundations for |
|
|
\dhil{This dissertation is about the operational foundations for |
|
|
programming and implementing effect handlers, a particularly modular |
|
|
programming and implementing effect handlers, a particularly modular |
|
|
|