howdoesitwork.lhs

   1 %include talk.fmt
   2 \section{How do you make Hardware from Haskell?}
   3 \frame
   4 {
   5   \frametitle{So how do you make Hardware from Haskell?}\pause
   6   \large{In three simple steps really:} \pause
   7   \begin{itemize}
   8     \item No Effort:\\
   9     GHC API Parses, Typechecks and Desugars the Haskell code \pause
  10     \item Hard: \\
  11     Transform resulting Core, GHC's Intermediate Language,\linebreak to a normal form \pause
  12     \item Easy: \\
  13     Translate Normalized Core to synthesizable VHDL
  14   \end{itemize}
  15 }\note[itemize]{
  16 \item Here is a quick insight as to how WE translate Haskell to Hardware
  17 \item You can also use TH, like ForSyDe. Or traverse datastructures, like
  18 \item We're in luck with the GHC API update of 6.10 and onwards
  19 \item Normal form is a single lamda and a let expression, every let binder is a simple assignment
  20 }