projects
/
matthijs
/
master-project
/
haskell-symposium-talk.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add pictures
[matthijs/master-project/haskell-symposium-talk.git]
/
howdoesitwork.lhs
diff --git
a/howdoesitwork.lhs
b/howdoesitwork.lhs
index 4ad7780e7c7a57b4757cc26e0b7a1b164f636612..342be54965bdf856471244679abf96414982db54 100644
(file)
--- a/
howdoesitwork.lhs
+++ b/
howdoesitwork.lhs
@@
-2,8
+2,8
@@
\section{How do you make Hardware from Haskell?}
\frame
{
\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 the Haskell code \pause
\begin{itemize}
\item No Effort:\\
GHC API Parses, Typechecks and Desugars the Haskell code \pause
@@
-14,5
+14,7
@@
\end{itemize}
}\note[itemize]{
\item Here is a quick insight as to how WE translate Haskell to Hardware
\end{itemize}
}\note[itemize]{
\item Here is a quick insight as to how WE translate Haskell to Hardware
-\item You can also use TH, like ForSyDe. Or traverse datastructures, like Lava.
+\item You can also use TH, like ForSyDe. Or traverse datastructures, like
+\item We're in luck with the GHC API update of 6.10 and onwards
+\item Normal form is a single lamda and a let expression, every let binder is a simple assignment
}
\ No newline at end of file
}
\ No newline at end of file