\section{How do you make Hardware from Haskell?}
\frame
{
- \frametitle{So how do you make Hardware from Haskell?}
- \large{In three simple steps} \pause
+ \frametitle{So how do you make Hardware from Haskell?}\pause
+ \large{In three simple steps really:} \pause
\begin{itemize}
\item No Effort:\\
- GHC API Parses, Typechecks and Desugars Haskell \pause
- \item Hard.. sort of: \\
- Transform resulting Core, GHC's Intermediate Language,\linebreak to a normal form \pause
+ GHC API Parses, Typechecks and Desugars the Haskell code \pause
+ \item Hard: \\
+ Transform resulting Core, GHC's Intermediate Language,\linebreak to a normal form. Uses reduction rules. \pause
\item Easy: \\
Translate Normalized Core to synthesizable VHDL
\end{itemize}
-}
\ No newline at end of file
+}\note[itemize]{
+\item Here is a quick insight as to how WE translate Haskell to Hardware
+\item Reduction rules are used to get a required normal form.
+\item Normal form already looks like hardware (components and lines)
+\item You can also use TH, like ForSyDe. Or traverse datastructures, like Lava?
+\item We're in luck with the GHC API update of 6.10 and onwards
+}