matthijs/introduction.lhs

   1 %include talk.fmt
   2 \section{Presentation Matthijs}
   3 \title{Haskell as a higher order structural hardware description language}
   4 \author{Matthijs Kooijman}
   5 \date{December 14, 2009}
   6
   7 \frame{\titlepage \setcounter{framenumber}{1}}
   8
   9
  10 \frame
  11 {
  12   \begin{block}{Applying the $sqrt$ function to 4}
  13   $ sqrt(4) = 2$
  14   \end{block}
  15 }
  16
  17 \note[itemize]
  18 {
  19   \item Functional language - Math like
  20   \item Central: Functions
  21   \item Outside:
  22     \begin{itemize}
  23       \item Put arguments in (application)
  24       \item get result out
  25     \end{itemize}
  26   \item Inside:
  27     \begin{itemize}
  28       \item \emph{How} does the function work? (definition)
  29     \end{itemize}
  30
  31   \item Next sheet: sqrt example
  32 }
  33
  34 \frame
  35 {
  36   \begin{block}{A mathematical square function}
  37   $ f(x) = x * x$
  38   \end{block}
  39
  40   \pause
  41   \begin{block}{A square function in Haskell}
  42   \texttt{square x = x * x}
  43   \end{block}
  44 }
  45
  46 \note[itemize]
  47 {
  48   \item Next sheet: f(x) = x*x example
  49   \item Next sheet: square in Haskell
  50   \item No braces
  51   \item Next sheet: pyth in Haskell
  52   \item Functions can be used by other functions
  53 }
  54
  55 \frame
  56 {
  57   \begin{columns}
  58     \begin{column}{8cm}
  59       \begin{block}{Pythagoras' theorem}
  60       $ a^2 + b^2 = c^2 $
  61
  62       or
  63
  64       $ c = \sqrt{a^2 + b^2} $
  65       \end{block}
  66     \end{column}
  67     \begin{column}{3cm}
  68       \includegraphics[width=3cm]{figures/Pythagoras}
  69     \end{column}
  70   \end{columns}
  71   \pause
  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))}
  75   \end{block}
  76 }
  77
  78 % vim: set filetype=tex sw=2 sts=2 expandtab: