From: Mart Lubbers <mart@martlubbers.net>
Date: Mon, 26 Jun 2017 10:14:57 +0000 (+0200)
Subject: roy's comments: chapter 2
X-Git-Tag: hand-in~54
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=6b4c6f4f8428f94021ff6be1366406767b5e2165;p=msc-thesis1617.git

roy's comments: chapter 2
---

diff --git a/methods.top.tex b/methods.top.tex
index 811e12a..c145eca 100644
--- a/methods.top.tex
+++ b/methods.top.tex
@@ -16,7 +16,7 @@ Listing~\ref{lst:taskex}. The code is accompanied by screenshots showing the
 user interface in Figure~\ref{fig:taskex1},~\ref{fig:taskex2}
 and~\ref{fig:taskex3}. The \CI{TaskValue} of the \gls{Task} is in the first
 image in the \CI{NoValue} state, the second image does not have all the fields
-filled in and therefore the \CI{TaskValue} remains \CI{Unstable}. In the third
+filled in and therefore the \CI{TaskValue} remains \CI{NoValue}. In the third
 image all fields are entered and the \CI{TaskValue} transitions to the
 \CI{Unstable} state. When the user presses \emph{Continue} the value becomes
 \CI{Stable} and cannot be changed any further.
@@ -70,7 +70,7 @@ can be created.
 \section{Combinators}
 \Glspl{Task} can be combined using so called \gls{Task}-combinators.
 Combinators describe relations between \glspl{Task}. There are only two basic
-types of combinators; namely parallel and sequence. All other combinators are
+types of combinators; parallel and sequence. All other combinators are
 derived from the basic combinators. Type signatures of simplified versions of
 the basic combinators and their derivations are given in
 Listing~\ref{lst:combinators}
@@ -171,8 +171,8 @@ resource are notified of the update. However, it may be the case that
 To solve this problem, parametric lenses were
 introduced~\cite{domoszlai_parametric_2014}.
 
-Parametric lenses add a type variable to the \gls{SDS} that is in the current
-library functions fixed to the void type (i.e. \CI{()}). When a \gls{SDS}
+Parametric lenses add a type variable to the \gls{SDS}. This type variable is
+fixed to the void type (i.e. \CI{()}) in the given functions. When an \gls{SDS}
 executes a write operation, it also provides the system with a notification
 predicate. This notification predicate is a function \CI{p -> Bool} where
 \CI{p} is the parametric lens type. This allows programmers to create a big
@@ -183,13 +183,13 @@ stored in the map, only \glspl{Task} looking at a specific entry are notified
 when the structure is updated. The type of the parametric lens is the key in
 the map.
 
-Functionality for setting parameters is added in the system. The most important
-functions are the \CI{sdsFocus} and the \CI{sdsLens} function. These functions
-are listed in Listing~\ref{lst:focus}. \CI{sdsFocus} allows the programmer to
-fix a parametric lens value. \CI{sdsLens} is a kind of \CI{mapReadWrite}
-including access to the parametric lens value. This allows the creation of
-for example \glspl{SDS} that only read and write to parts of the original
-\gls{SDS}.
+Functionality for setting parameters is available in the system. The most
+important functions are the \CI{sdsFocus} and the \CI{sdsLens} function. These
+functions are listed in Listing~\ref{lst:focus}. \CI{sdsFocus} allows the
+programmer to fix a parametric lens value. \CI{sdsLens} is a kind of
+\CI{mapReadWrite} including access to the parametric lens value. This allows
+the creation of, for example, \glspl{SDS} that only read and write to parts of
+the original \gls{SDS}.
 
 \begin{lstlisting}[label={lst:focus},
 	caption={Parametric lens functions}]