2 \section{How do you make Hardware from Haskell?}
5 \frametitle{So how do you make Hardware from Haskell?}\pause
6 \large{In three simple steps really:} \pause
9 GHC API Parses, Typechecks and Desugars the Haskell code \pause
11 Transform resulting Core, GHC's Intermediate Language,\linebreak to a normal form. Uses reduction rules. \pause
13 Translate Normalized Core to synthesizable VHDL
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