Added images
[matthijs/master-project/haskell-symposium-talk.git] / summary.lhs
1 %include talk.fmt
2 \section{Conclusion}
3
4 \frame{
5 \frametitle{Some final words}
6 \begin{itemize}
7   \item Still a lot to do: translate larger subset of Haskell
8   \item Real world prototypes can be made in \clash{}
9   \item \clash{} is another great example of how to bring functional expressivity to hardware designs
10 \end{itemize}
11 }
12
13 \frame{
14 \vspace{6em}
15 \begin{figure}
16 \Huge{Thank you for listening}
17 \end{figure}
18 \vspace{5em}
19 \centerline{\clash{} Clone URL:}
20 \centerline{\url{git://github.com/christiaanb/clash.git}}
21 }
22
23 \frame
24 {
25 \frametitle{Complete signatures and Types}
26 \begin{code}
27 type Word         =   SizedInt D12  
28 type Instruction  =   ( Opcode, Word, RangedWord D9
29                       , RangedWord D9 )
30
31 registers :: 
32   ( NaturalT s 
33   , PositiveT (s :+: D1)
34   , ((s :+: D1) :>: s) ~ True )) => 
35   a -> RangedWord s -> RangedWord s -> 
36   (RegState s a) -> 
37   (RegState s a, a )
38 \end{code}
39 }