update
authorMart Lubbers <mart@martlubbers.net>
Tue, 4 Jul 2017 18:39:46 +0000 (20:39 +0200)
committerMart Lubbers <mart@martlubbers.net>
Tue, 4 Jul 2017 18:39:46 +0000 (20:39 +0200)
presentation.tex

index 3566aeb..a0b0997 100644 (file)
@@ -159,21 +159,60 @@ sdsFocus :: p1 (RWShared p1 r w) -> RWShared p2 r w | iTask p
 :: SDSLensNotify p w rs   = SDSNotify      (p -> rs -> w -> SDSNotifyPred p)
                           | SDSNotifyConst (p -> w -> SDSNotifyPred p)
 
-sdsLens :: String (p -> ps) (SDSLensRead p r rs) (SDSLensWrite p w rs ws) (SDSLensNotify p w rs)
-       (RWShared ps rs ws) -> RWShared p r w | iTask ps
+sdsLens :: String (p -> ps) (SDSLensRead p r rs) (SDSLensWrite p w rs ws)
+       (SDSLensNotify p w rs) (RWShared ps rs ws) -> RWShared p r w | iTask ps
        \end{lstlisting}
 \end{frame}
 
 \begin{frame}
        \frametitle{Why add IoT devices to iTasks}
-       %TODO
+       \begin{block}{Why?}
+       \begin{itemize}
+               \item Execute Tasks
+               \item Monitoring
+               \item Hardware
+               \end{itemize}
+       \end{block}
+
+       \pause{}
+
+       \begin{block}{Current possibilities}
+               \begin{itemize}
+                       \item Arjan's Distributed iTasks
+                       \item Implement a device as an SDS
+                               \pause{}
+                       \item Difficult to get logic in
+               \end{itemize}
+       \end{block}
 \end{frame}
 
 \section{mTask}
 \subsection{EDSLs}
 \begin{frame}
        \frametitle{Embedded Domain Specific Language}
-       \framesubtitle{Deep Embedding}
+       \framesubtitle{What is are EDSL}
+       \begin{itemize}
+               \item DSL:\ language for a specific domain
+               \item E.g., PostScript, VimScript, HTML, \ldots
+               \pause{}
+               \item EDSL:\ Embedded DSL
+               \item Language in a language
+               \item Use the properties of the host
+               \item E.g., Ivory, \ldots\pause{} and iTasks
+       \end{itemize}
+\end{frame}
+
+\begin{frame}
+       \frametitle{Embedded Domain Specific Language (2)}
+       \framesubtitle{Embedding techniques}
+       \begin{block}{Deep}
+       \end{block}
+
+       \begin{block}{Shallow}
+       \end{block}
+
+       \begin{block}{Class based shallow}
+       \end{block}
 \end{frame}
 
 \begin{frame}