roy's comments: chapter 2

[msc-thesis1617.git] / methods.top.tex

diff --git a/methods.top.tex b/methods.top.tex
index 811e12a..c145eca 100644 (file)
--- 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
 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.
 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
 \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}
 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}.
 
 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
 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.
 
 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}]
 
 \begin{lstlisting}[label={lst:focus},
        caption={Parametric lens functions}]