Commit e2305280 authored by Mart Lubbers's avatar Mart Lubbers
Browse files

.

parent b986dc63
......@@ -722,12 +722,12 @@ void loop() {\end{lstlisting}
Basic tasks
\begin{itemize}
\item enter typed data: \lstinline[language=Clean]{enterInformation}
\pause
\pause%
\item update given data: \lstinline[language=Clean]{updateInformation}
\item display data: \lstinline[language=Clean]{viewInformation}
\end{itemize}
See \url{cloogle.org} for all definitions in Clean.
\pause
\pause%
\begin{columns}
\begin{column}{.5\textwidth}
\begin{lstlisting}[language=Clean,aboveskip=0pt,belowskip=0pt]
......@@ -759,9 +759,9 @@ void loop() {\end{lstlisting}
\item Empty editor \textbf{NoValue}
\item Data entered \textbf{UnStable} value
\end{itemize}
\pause
\pause%
\lstinline[language=Clean]{>>?} makes \lstinline[language=Clean]{Continue} button to progress when left-hand side has a value
\pause
\pause%
\begin{columns}
\begin{column}{.5\textwidth}
\begin{lstlisting}[language=Clean,aboveskip=0pt,belowskip=0pt]
......@@ -773,9 +773,9 @@ helloTask =
\end{column}
\begin{column}{.5\textwidth}
\includegraphics[width=.9\linewidth]{itask2}
\pause
\pause%
\includegraphics[width=.9\linewidth]{itask3}
\pause
\pause%
\includegraphics[width=.9\linewidth]{itask4}
\end{column}
\end{columns}
......@@ -793,7 +793,7 @@ greeter =
]
>>- \name -> viewInformation [] ("Hello " +++ name)
\end{lstlisting}
\pause
\pause%
\begin{center}
\includegraphics[width=.6\linewidth]{greeter}
\end{center}
......@@ -810,7 +810,7 @@ derive class iTask Gender
The \lstinline[language=Clean]{derive class iTask} makes all iTask magic available for type \lstinline[language=Clean]{Gender}
Combining values
\pause
\pause%
\begin{lstlisting}[language=Clean,aboveskip=0pt,belowskip=0pt]
nameAndGender :: Task (String, Gender)
......@@ -820,13 +820,13 @@ nameAndGender =
Label ("Your gender " +++ name)) >>? \gender ->
viewInformation [] (name, gender)
\end{lstlisting}
\pause
\pause%
\end{column}
\begin{column}{.5\textwidth}
\includegraphics[width=.9\linewidth]{nameAndGender1}
\pause
\pause%
\includegraphics[width=.9\linewidth]{nameAndGender2}
\pause
\pause%
\includegraphics[width=.9\linewidth]{nameAndGender3}
\end{column}
\end{columns}
......@@ -875,7 +875,7 @@ nameTask2 =
\item Automatic update on changes of SDS
\end{itemize}
\pause
\pause%
\begin{lstlisting}[language=Clean,aboveskip=0pt,belowskip=0pt]
sharedNames :: Task [String]
sharedNames =
......@@ -884,7 +884,7 @@ sharedNames =
(viewSharedInformation [ViewAs length] sds <<@ Label "Count")
\end{lstlisting}
\pause
\pause%
\begin{center}
\includegraphics[width=.6\linewidth]{itask7}
\end{center}
......@@ -912,11 +912,11 @@ where initialValue = []
Task results are combined \onslide<6-> \\
\lstinline[language=Clean]{(-||-) infixr :: (Task a) (Task a)->Task a} \onslide<7-> &
Disjunction of parallel subtasks \onslide<8-> \\
\lstinline[language=Clean]{(-|| ) infixr::(Task a) (Task b)->Task a} \onslide<9-> &
\lstinline[language=Clean]{(-|| ) infixr :: (Task a) (Task b)->Task a} \onslide<9-> &
Returns left result \onslide<10->\\
\lstinline[language=Clean]{( ||-) infixr :: (Task a) (Task b)->Task b} \onslide<11-> &
Returns right result \onslide<12->\\
\lstinline[language=Clean]{(>>?) infix :: (Task a) (a->Task b)->Task b} \onslide<13-> &
\lstinline[language=Clean]{(>>?) infix :: (Task a) (a->Task b)->Task b} \onslide<13-> &
Sequentially, rhs takes result of task \onslide<14->\\
% \lstinline[language=Clean]{(>>*) infix :: (Task a) [TaskCont a (Task b)]->Task b} \onslide<15-> &
% conditional step \onslide<16->\\
......@@ -938,7 +938,7 @@ where initialValue = []
\item We can specify a multi-user program in iTasks
\item Program can even be multi server
\end{itemize}
\pause
\pause%
\item A web-server is too big and heavy for an IoT node \\
Such a web-server is not needed for an IoT node
\item We made a TOP language for the IoT embedded in iTask
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment