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. Uses reduction rules. \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 Reduction rules are used to get a required normal form.
  18 \item Normal form already looks like hardware (components and lines)
  19 \item You can also use TH, like ForSyDe. Or traverse datastructures, like Lava?
  20 \item We're in luck with the GHC API update of 6.10 and onwards
  21 }