Ogjorde kod som figurer i teori

Author: Oskar Lundström

Rapport/include/Teori.tex

@@ -68,17 +68,13 @@ \section{Syntax, syntaxträd och semantik}\label{sec:syntax}
 För att illustrera begreppet visas här ett domänspecifikt språk som består av en
 datatyp vars element är
 syntaxträd som modellerar aritmetiska uttryck, implementerat i Haskell.
-Datatypen för syntaxträden visas i figur~\ref{fig:syntax_exempel}.
+Datatypen för syntaxträden visas nedan.
 
-\begin{figure}[tph]
-  \begin{lstlisting}
+\begin{lstlisting}
 data Expr = Expr :+: Expr
-          | Expr :*: Expr
-          | Const Double
-  \end{lstlisting}
-  \caption{En datatyp för aritmetiska uttryck i Haskell. Detta är ett exempel på
-           ett litet domänspecifikt språk.}\label{fig:syntax_exempel}
-\end{figure}
+        | Expr :*: Expr
+        | Const Double
+\end{lstlisting}
 
 Typen innehåller \textit{datakonstruktorer} för att representera
 \textit{löv} (ändpunkter) och \textit{förgreningar}. I detta exempel är
@@ -88,20 +84,16 @@ \section{Syntax, syntaxträd och semantik}\label{sec:syntax}
 \texttt{Const}, vilket är en konstant som ej kan byggas vidare på\todo{Const 10 :*: Const 2??}.
 
 Med datakonstruktorerna kan uttryck representerade av syntaxträd konstrueras. Ett exempeluttryck
-från den tidigare datatypen visas i figur~\ref{fig:syntax_exempel_varde}, där det aritmetiska uttrycket $7 * (3
+från den tidigare datatypen är
+\begin{lstlisting}
+expr = Const 7 :*: (Const 3 :+: Const 10)
+\end{lstlisting}
+där det aritmetiska uttrycket $7 * (3
 + 10)$ modelleras. Konstruktorn \texttt{:*:} får som sina två argument uttrycken
 \texttt{Const 7} och \texttt{Const 3 :+: Const 10}. Det är alltså en produkt av
 två deluttryck. Syntaxträd brukar illusteras med träddiagram. Detta
 exempeluttryck illustreras i figur \ref{fig:syntax_exempel_bild}.
 
-\begin{figure}[tph]
-  \begin{lstlisting}
-expr = Const 7 :*: (Const 3 :+: Const 10)
-  \end{lstlisting}
-  \caption{Ett exempeluttryck ur det tidigare syntaxträdet\todo{Vilket syntaxträd?}. Detta modellerar det
-           matematiska uttrycket $7 * (3 + 10)$}\label{fig:syntax_exempel_varde}
-\end{figure}
-
 \begin{figure}[tph]
   \centering
   \includegraphics[width=0.4\linewidth]{figure/syntax_exempel_bild.png}
@@ -113,26 +105,20 @@ \section{Syntax, syntaxträd och semantik}\label{sec:syntax}
 i samband med syntaxträd. I detta exempel är semantiken det värde som
 syntaxträdet har. Detta värde kan beräknas utifrån syntaxträdet genom
 en \textit{evaluator}, också kallad \textit{beräkningsfunktion}. För \texttt{Expr}
-kan beräkningsfunktionen se ut som i figur \ref{fig:eval_tree}
-
-\begin{figure}[tph]
-  \begin{lstlisting}
+kan beräkningsfunktionen se ut som
+\begin{lstlisting}
 evaluate :: Expr -> Double
 evaluate (e1 :+: e2) = evaluate e1 + evaluate e2
 evaluate (e1 :*: e2) = evaluate e1 * evaluate e2
 evaluate (Const v)   = v
-  \end{lstlisting}
-  \caption{En beräkningsfunktion för syntaxträdet.}\label{fig:eval_tree}
-\end{figure}
-
-Det finns tre speciella saker att observera i
-figur~\ref{fig:eval_tree}. Den första är att eftersom syntaxen innehåller tre olika
+\end{lstlisting}
+Det finns tre speciella saker att observera. Den första är att eftersom syntaxen innehåller tre olika
 slag av element, här motsvarat av de tre datakonstruktorerna, krävs tre fall i
 funktionen \texttt{evaluate} som beräknar vardera av dem. Den har
 därför ett fall för \texttt{:+:}, ett för \texttt{:*:} och ett för
 \texttt{Const}.
 
-Den andra saken att notera i figuren är hur ett fall
+Den andra saken att notera är hur ett fall
 beräknas. Hur beräkningen ska se ut fås genom att ta hänsyn till
 semantiken hos det syntaktiska uttrycket. Här är \texttt{e1 :+: e2} syntax för
 addition av de två uttrycken \texttt{e1} och \texttt{e2}. Därför blir

Rapport/include/settings/Settings.tex

@@ -63,6 +63,8 @@
 \lstset{commentstyle=\ttfamily}
 \lstset{escapeinside=`'}
 \lstset{deletekeywords={length}}
+\lstset{frame=none}
+\lstset{belowskip=-0.5\baselineskip}
 \usepackage{chemfig}								% Chemical structures
 \usepackage[margin=1in]{geometry}			% Page margin lengths
 \usepackage{eso-pic}								% Create cover page background