X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=summary.lhs;fp=summary.lhs;h=1ad3cca26ad15bf132ecac69c1be136290dbd36d;hb=d0420235340ee715db69a023bf0f6ad75d573735;hp=0000000000000000000000000000000000000000;hpb=dfa8e8c67fe722269e1b61016bffa4c9ad5bc0b6;p=matthijs%2Fmaster-project%2Ffinal-presentation.git

diff --git a/summary.lhs b/summary.lhs
new file mode 100644
index 0000000..1ad3cca
--- /dev/null
+++ b/summary.lhs
@@ -0,0 +1,68 @@
+%include talk.fmt
+\section{Conclusion}
+
+\frame{
+\frametitle{Some final words}
+\begin{itemize}
+  \item Still a lot to do: translate larger subset of Haskell
+  \item Real world prototype designs can already be made in \clash{}
+%  \item \clash{} is another great example of how to bring functional expressivity to hardware designs
+\end{itemize}
+}
+
+\frame{
+\vspace{6em}
+\begin{figure}
+\Huge{Thank you for listening}
+\end{figure}
+\vspace{5em}
+\centerline{\clash{} Clone URL:}
+\centerline{\url{git://github.com/christiaanb/clash.git}}
+}
+
+\frame
+{
+\frametitle{Complete signatures and Types}
+\begin{code}
+type Word         =   SizedInt D12  
+type Instruction  =   ( Opcode, Word, RangedWord D9
+                      , RangedWord D9 )
+
+registers :: 
+  ( PositiveT s 
+  , NaturalT (s :-: D1)
+  , (s :>: (s :-: D1)) ~ True )) => 
+  a -> RangedWord (s :-: D1) -> RangedWord (s :-: D1) -> 
+  (RegState s a) -> 
+  (RegState s a, a )
+\end{code}
+}
+
+\frame
+{
+\frametitle{Supported Functionality}
+\begin{itemize}
+\item Polymorphism
+\item Higher Order Functions
+\item Fixed-Size Vectors (Simulation)
+\item Ranged and Sized Integers (Simulation)
+\item Custom Datatypes
+\item Booleans
+\item Tuples
+\item Pattern Matching
+\item Guards
+\end{itemize}
+}
+
+\frame
+{
+\frametitle{Unsupported Functionality}
+\begin{itemize}
+\item Recursion
+\item Lists (Dynamic Length)
+\item Standard Haskell Types: Integer, Char, etc.
+\item Type Classes
+\item Monads
+\item And much much more...
+\end{itemize}
+}