X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=deliverables%2Fp1%2Fp1.tex;h=11b46995529ace3c454be434249e2588f8735187;hb=5d40ca411bed8014f9bf081436208d831ac5c972;hp=54708af327df82e5202d8ed59c1d573e7d0e5a8f;hpb=4a5da1494c927aabc027e8164fd0655449149aa9;p=cc1516.git

diff --git a/deliverables/p1/p1.tex b/deliverables/p1/p1.tex
index 54708af..11b4699 100644
--- a/deliverables/p1/p1.tex
+++ b/deliverables/p1/p1.tex
@@ -5,7 +5,6 @@
 \section{Introduction}
 \begin{frame}
 	\frametitle{\textsc{SPL}}
-	\framesubtitle{Acronym for: \textsc{SPL}: Parser and Lexer}
 	\begin{block}{Features}
 		\begin{itemize}
 			\item Implementation language:
@@ -35,10 +34,10 @@
 				A yard is exactly $36$ inch and an inch is exactly the length
 				of $3$ barleycorns}.
 		\item Definitons:
-			\begin{lstlisting}
+			\begin{CleanCode}
 :: Error = PositionalError Int Int String | Error String
 :: Parser a b = Parser ([a] -> (Either Error b, [a]))
-			\end{lstlisting}
+			\end{CleanCode}
 		\pause
 		\item Matches longest left-most parser
 		\pause
@@ -49,7 +48,7 @@
 
 \begin{frame}[fragile]
 	\frametitle{\textsc{YARD} Combinators}
-	\begin{lstlisting}
+	\begin{CleanCode}
 instance Functor (Parser a)
 instance Applicative (Parser a)
 instance Monad (Parser a)
@@ -66,7 +65,7 @@ check :: (a -> Bool) -> Parser a a
 item :: a -> Parser a a | Eq a
 list :: [a] -> Parser a [a] | Eq a
 eof :: Parser a Void
-	\end{lstlisting}
+	\end{CleanCode}
 \end{frame}
 
 \section{Design choices}
@@ -96,54 +95,73 @@ eof :: Parser a Void
 \begin{frame}[fragile]
 	\frametitle{Two-phase design}
 	\framesubtitle{Parsing}
+	Read from stdin, write to stdout\\
 	Added some handy primitives
-	\begin{lstlisting}
-parseSColon :: (Parser Token a) -> Parser Token a
+	\begin{CleanCode}
 parseBlock :: Parser Token [Stmt]
+
 parseOpR :: (Parser Token Op2) (Parser Token Expr) -> Parser Token Expr
 parseOpL :: (Parser Token Op2) (Parser Token Expr) -> Parser Token Expr
-parseBBraces :: (Parser Token a) -> Parser Token a
-parseBCBraces :: (Parser Token a) -> Parser Token a
-parseBSqBraces :: (Parser Token a) -> Parser Token a
-trans :: TokenValue (TokenValue -> a) -> Parser Token (Pos, a)
+
 trans2 :: TokenValue (TokenValue -> a) -> Parser Token a
 trans1 :: TokenValue a -> Parser Token a
+
 peekPos :: Parser Token Pos
-	\end{lstlisting}
+	\end{CleanCode}
 \end{frame}
 
+\begin{frame}[fragile]
+	\frametitle{Statistics}
+	\framesubtitle{Lines of code}
+	\lstinputlisting{|"wc -l ../../*.[di]cl"}
+	\pause
+	\begin{block}{}
+		\emph{``Measuring programming progress by lines of code is like
+		measuring aircraft building progress by weight.''}\\
+		{---} Bill Gates
+	\end{block}
+\end{frame}
+
+\begin{frame}
+	\frametitle{Statistics}
+	\framesubtitle{Hours of work}
+	We have no clue how much time we have worked on it\ldots
+	\pause
+	\begin{block}{}
+		\emph{``Choose a job you love, and you will never have to work a day in
+		your life.''}\\
+		{---} Confucius
+	\end{block}
+\end{frame}
 
 \section{Examples}
+\begin{frame}
+	\frametitle{Weird inputs}
+	\begin{itemize}
+		\item \pause Heap full
+			\pause\ldots Increase heap\\
+			\texttt{\$ ./spl -h 2000M}
+		\item \pause Stack full
+			\pause\ldots Increase stack\\
+			\texttt{\$ ./spl -s 200M}
+		\item \pause Segmentation fault
+			\pause\ldots Enable memory overcommitting\\
+				\texttt{\# echo 1 > /proc/sys/vm/overcommit\_memory}
+		\item \pause Still segmentation fault
+			\pause\ldots Buy more \textsc{RAM}
+		\item \pause Still segmentation fault?
+			\pause\ldots Divide into modules and parse separatly~\footnote{To be
+			implemented}
+		\item \pause Thus, we are only limited by hardware\ldots
+	\end{itemize}
+\end{frame}
 
-%- Anything that is specific to your parser
-%	- Positions Pim
-%	- yard (parser combinators) Pim
-%	- Implementation language Pim
-%	- Elaborate diffulties and eases (Tussendoor)
-%   - LL* Mart
-%- Did you split it into two phases lexing and parsing, or just one phase? Pim
-%	- Why parser combinator for lexer
-%- Did you change the grammar, and if so how? Mart
-%	- Standard tricks, remove left assoc, get operator assoc correct.
-%	- How did you solve the problems of precedence and associativity?
-%	- Stops, this is design, parsing should be correct!!!1!
-%- For a couple of example programs, when you do a sequence of    Mart
-%    1. parse
-%    2. pretty-print
-%    3. parse
-%    4. pretty-print
-%	-- Dit gaan we met een shell scriptje doen
-%- Code metrics, loc, etc, met stomme xkcd Mart
-%  How many lines of code do you have, how many hours did you work on it?
-%	“Measuring programming progress by lines of code is like measuring
-%	aircraft building progress by weight.”
-%
-%	― Bill Gates
-%  	Hoeveel uur, ook geen idee. Ook een stomme quote
-%- Did you try your parser on weird inputs, like 100 megabyte of nested     Mart
-%parenthesis? 1 gigabyte?
-%	- Yes, we did, didn't work out. Uses big heap and stack
-%- Problems and learned things
-%- Demonstrate your parser and pretty-printer on two or three programs that you
-%	find interesting 	Mart (teminaldingen kun jij goed ;))
+\begin{frame}
+	\frametitle{Learned lessons}
+	\begin{itemize}
+		\item \pause Parser combinators are elegant!
+		\item \pause Positional errors are a must!
+		\item \ldots
+	\end{itemize}
+\end{frame}
 \end{document}