2 \section{Presentation Matthijs}
3 \title{Haskell as a higher order structural hardware description language}
4 \author{Matthijs Kooijman}
5 \date{December 14, 2009}
7 \frame{\titlepage \setcounter{framenumber}{1}}
12 \begin{block}{Applying the $sqrt$ function to 4}
19 \item Functional language - Math like
20 \item Central: Functions
23 \item Put arguments in (application)
28 \item \emph{How} does the function work? (definition)
31 \item Next sheet: sqrt example
36 \begin{block}{A mathematical square function}
41 \begin{block}{A square function in Haskell}
42 \texttt{square x = x * x}
48 \item Next sheet: f(x) = x*x example
49 \item Next sheet: square in Haskell
51 \item Next sheet: pyth in Haskell
52 \item Functions can be used by other functions
59 \begin{block}{Pythagoras' theorem}
64 $ c = \sqrt{a^2 + b^2} $
68 \includegraphics[width=3cm]{figures/Pythagoras}
72 % TODO: Alignment is weird due to mixing columns and non-columns
73 \begin{block}{Calculating $c$ in Haskell}
74 \texttt{pyth a b = sqrt ((square a) + (square b))}
78 % vim: set filetype=tex sw=2 sts=2 expandtab: