
\section{}
\frame{\frametitle{Table of Contents}
  \begin{itemize}
    \item {What can Haskell do?}
    \item {What is λ-Calculus?}
    \item {Why Implement λ-Calculus?}
    \item {Let's Implement λ-Calculus}
    \item {Questions?}
    \item {References}
  \end{itemize}
}

%%%%%%  section break line %%%%%%
\section{What can Haskell do?}
\frame{\frametitle{\color{white} dummy}
  \begin{itemize}
    \item {What can Haskell do?}
    \item {\color{lightgray} What is λ-Calculus?}
    \item {\color{lightgray} Why Implement λ-Calculus?}
    \item {\color{lightgray} Let's Implement λ-Calculus}
    \item {\color{lightgray} Questions?}
    \item {\color{lightgray} References}
  \end{itemize}
}

\ftc{Defined in 1990}

\frame{\vskip 22mm%
\frametitlecenter{Successor of Miranda from 1985}
}

\ftc{Haskell 98}

\ftc{Haskell 2010}

\frame{\frametitle{GHC (Glasgow Haskell Compiler)}
\begin{itemize}
  \item[]{}
  \item<1->{STM {\normalsize (Software Transactional Memory)}}
  \item<2->{Template Haskell}
  \item<3->{GADT {\normalsize (Generalized Algebraic Data Type)}}
  \item[]{}
  \item[]{}
\end{itemize}
}

\frame{\frametitle{Notable Projects}
\begin{itemize}
  \item[]{}
  \item<1->{Audrey Tang's ({\usebeamerfont*{font Hiragino Maru Gothic}{唐鳳}}) Pugs}
  \item<2->{xmonad}
  \item<3->{Darcs}
  \item[]{}
  \item[]{}
\end{itemize}
}

\frame{\frametitle{Parallelism vs Concurrency?}
\begin{itemize}
  \item[]{}
  \item<1->{\jref{http://community.haskell.org/~simonmar/par-tutorial.pdf}{par-tutorial} }
  \item<2->{\jref{http://ghcmutterings.wordpress.com/2009/10/06/parallelism-concurrency/}
           {Parallelism $\neq$ Concurrency} }
  \item<3->{\jref{http://existentialtype.wordpress.com/2011/03/17/parallelism-is-not-concurrency/}
           {Parallelism is not concurrency} }
  \item[]{}
  \item[]{}
\end{itemize}
}
