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 prototype designs can already 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   ( PositiveT s
  33   , NaturalT (s :-: D1)
  34   , (s :>: (s :-: D1)) ~ True )) =>
  35   a -> RangedWord (s :-: D1) -> RangedWord (s :-: D1) ->
  36   (RegState s a) ->
  37   (RegState s a, a )
  38 \end{code}
  39 }
  40
  41 \frame
  42 {
  43 \frametitle{Supported Functionality}
  44 \begin{itemize}
  45 \item Polymorphism
  46 \item Higher Order Functions
  47 \item Fixed-Size Vectors (Simulation)
  48 \item Ranged and Sized Integers (Simulation)
  49 \item Custom Datatypes
  50 \item Booleans
  51 \item Tuples
  52 \item Pattern Matching
  53 \item Guards
  54 \end{itemize}
  55 }
  56
  57 \frame
  58 {
  59 \frametitle{Unsupported Functionality}
  60 \begin{itemize}
  61 \item Recursion
  62 \item Lists (Dynamic Length)
  63 \item Standard Haskell Types: Integer, Char, etc.
  64 \item Type Classes
  65 \item Monads
  66 \item And much much more...
  67 \end{itemize}
  68 }