probably final presentation version

[msc-thesis1617.git] / pres.mtask.tex

diff --git a/pres.mtask.tex b/pres.mtask.tex
index 5865640..4b6f7d6 100644 (file)
--- a/pres.mtask.tex
+++ b/pres.mtask.tex
@@ -1,7 +1,7 @@
 \subsection{EDSLs}
 \begin{frame}
        \frametitle{Embedded Domain Specific Language}
-       \framesubtitle{What is are EDSL}
+       \framesubtitle{What are EDSLs}
        \begin{itemize}
                \item DSL:\ language for a specific domain
                \item E.g., PostScript, VimScript, HTML, \ldots
@@ -33,7 +33,9 @@
                                        \item Easy to add views
                                        \item Hard to extend
                                        \item Not type safe
-                                       \pause\item GADT
+                                       \onslide<4->{
+                                       \item GADT
+                                       }
                                \end{itemize}
                        \end{block}
                }
@@ -111,6 +113,7 @@ Plus x y = \e -> x e + y e
                                        \item Extendable
                                        \item Type safe
                                        \item Easy to add views
+                                       \item Phantom types for extra constraints
                                \end{itemize}
                        \end{block}
                }
@@ -228,8 +231,15 @@ class assign v where
        \end{lstlisting}
 \end{frame}
 
+
 \begin{frame}[fragile]
-       \frametitle{Examples}
+       \frametitle{Tasks and Examples}
+       \begin{lstlisting}[language=Clean]
+class mtask v a where
+       task :: (((v delay r) a -> v MTask Expr) -> In (a->v u p) (Main (v t q)))
+               -> Main (v t q) | ...
+       \end{lstlisting}
+       \pause{}
        \begin{lstlisting}[language=Clean]
 blink = task \blink=(\x.
             IF x