5 \frametitle{Some final words}
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
16 \Huge{Thank you for listening}
19 \centerline{\clash{} Clone URL:}
20 \centerline{\url{git://github.com/christiaanb/clash.git}}
25 \frametitle{Complete signatures and Types}
27 type Word = SizedInt D12
28 type Instruction = ( Opcode, Word, RangedWord D9
33 , PositiveT (s :+: D1)
34 , ((s :+: D1) :>: s) ~ True )) =>
35 a -> RangedWord s -> RangedWord s ->
43 \frametitle{Supported Functionality}
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, Tuples
51 \item Pattern Matching
58 \frametitle{Unsupported Functionality}
61 \item Lists (Dynamic Length)
62 \item Standard Haskell Types: Integer, Char, etc.
64 \item And much much more...