From d0061e18c25c83e09241232db6fa5d50147f42e1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Tue, 18 May 2021 23:54:35 +0100 Subject: [PATCH] WIP --- thesis.tex | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/thesis.tex b/thesis.tex index 3c9096a..c1057f3 100644 --- a/thesis.tex +++ b/thesis.tex @@ -414,7 +414,7 @@ implementation of a programming language with various distinct second-class control idioms such as async/await, coroutines, etc, because compiler engineers need only implement and maintain a single control mechanism rather than having to implement and maintain -individual runtime support for each control idiom in the source +individual runtime support for each control idiom of the source language. % \subsection{Flavours of control} @@ -427,9 +427,10 @@ language. \section{State of effectful programming} The evolution of effectful programming has gone through several -characteristic phases. In this section I will provide a brief overview -of how effectful programming has evolved as well as providing a brief -introduction to the core concepts concerned with each phase. +characteristic time periods. In this section I will provide a brief +programming perspective on how effectful programming has evolved as +well as providing an informal introduction to the core concepts +concerned with each time period. \subsection{Early days of direct-style}