diff options
| author | Camil Staps | 2016-06-07 15:51:04 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-06-07 15:51:04 +0200 |
| commit | a82dc42e7c07fa47d2dab0cbe26a31e080ae9952 (patch) | |
| tree | f2f7ec0b7851bfc4ed1887f66c254904e7b27487 /paper/intro-org.tex | |
| parent | Finishing first version paper (diff) | |
Processed feedback
Diffstat (limited to 'paper/intro-org.tex')
| -rw-r--r-- | paper/intro-org.tex | 23 |
1 files changed, 12 insertions, 11 deletions
diff --git a/paper/intro-org.tex b/paper/intro-org.tex index 70c5099..3fba1d3 100644 --- a/paper/intro-org.tex +++ b/paper/intro-org.tex @@ -1,17 +1,18 @@ -\subsection{Paper organistation} +\subsection{Paper organisation} \label{sec:intro:org} In this paper we present different advantages of working with imperative code in a functional style. We do this by means of a case study, an interpreter of -the language While~\citep{proganal}. We will describe this example language -briefly in \autoref{sec:intro:while}. Before discussing our interpreter, we -will discuss basic definition that will be helpful in \autoref{sec:predefs}. -Since extensive research has already been done into lexing and parsing -\citep[see e.g.][]{yard}, will skip these steps and assume we already have an -abstract syntax tree (AST). This AST is described in \autoref{sec:ast}. In -\autoref{sec:eval} we will discuss different possibilities of evaluating -mathematical expressions. Finally, in \autoref{sec:interp} we will propose a -While interpreter. We finish by articulating the advantages of functional +the language While~\citep{proganal}. This example language is briefly described +in \autoref{sec:intro:while}. Before discussing our interpreter, we discuss +basic definitions that will be helpful in \autoref{sec:predefs}. Since +extensive research has already been done into lexing and parsing \citep[see +e.g.][]{yard}, we skip these steps and assume we already have an abstract +syntax tree (AST). This AST is described in \autoref{sec:ast}. In +\autoref{sec:eval} we discuss different possibilities of evaluating +mathematical expressions. Finally, in \autoref{sec:interp} we propose a While +interpreter. We finish by articulating the advantages of functional interpretation in \autoref{sec:concl}. \autoref{sec:ftypes} lists the functions and types that the reader is supposed -to know. +to know. If this is not the case: they can easily be looked up using +Cloogle~\citep{cloogle}. |