slides/slides02.tex
author Christian Urban <christian.urban@kcl.ac.uk>
Fri, 05 Nov 2021 17:20:01 +0000
changeset 397 9755af1d74df
parent 365 08241d957be4
child 413 f4db8336d3d5
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
316
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
     1
% !TEX program = xelatex
360
1bd1e9cd8c72 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 319
diff changeset
     2
\documentclass[dvipsnames,14pt,t,xelatex,aspectratio=169,xcolor={table}]{beamer}
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
     3
%\usepackage{chessboard}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
     4
%\usepackage[LSBC4,T1]{fontenc}
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
\usepackage{../slides}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
\usepackage{../graphics}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
\usepackage{../langs}
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
     8
\usetikzlibrary{shapes}
148
fc72f3ab3a57 updated
Christian Urban <urbanc@in.tum.de>
parents: 147
diff changeset
     9
% \usepackage{../data}
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
\hfuzz=220pt 
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
%\setmonofont[Scale=.88]{Consolas}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
%\newfontfamily{\consolas}{Consolas}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
\lstset{language=Scala,
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
        style=mystyle,
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18
        numbersep=0pt,
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19
        numbers=none,
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    20
        xleftmargin=0mm}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    21
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    22
\newcommand{\bl}[1]{\textcolor{blue}{#1}}     
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    23
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    24
% beamer stuff 
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    25
\renewcommand{\slidecaption}{PEP (Scala) 02, King's College London}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    26
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
    27
\newcommand{\UParrow}[3]{%
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
    28
\begin{textblock}{0}(#2,#3)%
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
    29
\onslide<#1>{%
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
    30
\begin{tikzpicture}%
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
    31
\node at (0,0) [single arrow, shape border rotate=90, fill=red,text=red]{a};%
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
    32
\end{tikzpicture}}%
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
    33
\end{textblock}}
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    34
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    35
\begin{document}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    36
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    37
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    38
\begin{frame}[t]
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    39
\frametitle{%
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    40
  \begin{tabular}{@ {}c@ {}}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    41
  \\[5mm]
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    42
  \huge PEP Scala (2) 
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    43
  \end{tabular}}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    44
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    45
  \normalsize
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    46
  \begin{center}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    47
  \begin{tabular}{ll}
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
    48
    Email:  & christian.urban at kcl.ac.uk\\
360
1bd1e9cd8c72 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 319
diff changeset
    49
    %Office: & N\liningnums{7.07} (North Wing, Bush House)\bigskip\\
316
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    50
    Slides \& Code: & KEATS\bigskip\\
360
1bd1e9cd8c72 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 319
diff changeset
    51
    %Office Hours: &  Thursdays 12:00 -- 14:00\\
1bd1e9cd8c72 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 319
diff changeset
    52
    %Additionally: & (for Scala) Tuesdays 10:45 -- 11:45\\ 
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    53
  \end{tabular}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    54
  \end{center}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    55
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    56
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    57
\end{frame}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    58
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    59
202
3b40cc2a938a updated
Christian Urban <urbanc@in.tum.de>
parents: 151
diff changeset
    60
362
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
    61
% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
    62
% \begin{frame}[t,fragile]
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
    63
% \frametitle{For-Comprehensions}
202
3b40cc2a938a updated
Christian Urban <urbanc@in.tum.de>
parents: 151
diff changeset
    64
362
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
    65
% %\small
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
    66
% \begin{lstlisting}[language=Scala,numbers=none]
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
    67
% for (n <- List(1, 2, 3, 4, 5)) yield n * n
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
    68
% \end{lstlisting}
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
    69
362
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
    70
% \begin{textblock}{5}(2,6)
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
    71
% \includegraphics[scale=0.3]{../pics/fun.png}
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
    72
% \end{textblock}  
204
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
    73
362
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
    74
% \begin{textblock}{5}(9,6)
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
    75
% \includegraphics[scale=0.3]{../pics/fun.png}
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
    76
% \end{textblock}  
204
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
    77
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
    78
362
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
    79
% \end{frame}
204
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
    80
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
    81
363
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
    82
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
    83
\begin{frame}[t]
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
    84
\frametitle{For-Comprehensions}
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
    85
363
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
    86
\begin{center}
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
    87
  \begin{tikzpicture}[scale=1,
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
    88
                      node/.style={
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
    89
                      rectangle,rounded corners=3mm,
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
    90
                      very thick,draw=black!50,
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
    91
                      minimum height=18mm, minimum width=20mm,
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
    92
                      top color=white,bottom color=black!20}]
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
    93
363
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
    94
  \node (A0) at (0.1,0) {\texttt{\textcolor{purple}{\textbf{for}} (\alert<2->{n} <- List(}};
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
    95
  \node (A1) at (2.3,0) {\texttt{\phantom{,}1,}};
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
    96
  \node (A2) at (3.2,0) {\texttt{\phantom{,}2,}};
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
    97
  \node (A3) at (4.1,0) {\texttt{\phantom{,}3,}};
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
    98
  \node (A4) at (5.0,0) {\texttt{\phantom{,}4,}};
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
    99
  \node (A5) at (5.9,0) {\texttt{\phantom{))}5))}};
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   100
  \node (A6) at (8,0) {\texttt{\textcolor{purple}{\textbf{yield}} \alert<2->{n\,*\,n}}};
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   101
363
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   102
  \onslide<2->{
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   103
  \node (B0) at (1.4,-3) {\texttt{List(}};
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   104
  \node (B1) at (2.3,-3) {\texttt{\phantom{,}1,}};
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   105
  \node (B2) at (3.6,-3) {\texttt{\phantom{,}4,}};
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   106
  \node (B3) at (4.9,-3) {\texttt{\phantom{,}9,}};
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   107
  \node (B4) at (6.2,-3) {\texttt{\phantom{,}16,}};
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   108
  \node (B5) at (7.5,-3) {\texttt{\phantom{,}25)}};}
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   109
363
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   110
  \onslide<2->{
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   111
  \draw [->,line width=1mm] (A1.south) -- (B1.north);
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   112
  \draw [->,line width=1mm] (A2.south) -- (B2.north);
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   113
  \draw [->,line width=1mm] (A3.south) -- (B3.north);
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   114
  \draw [->,line width=1mm] (A4.south) -- (B4.north);
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   115
  \draw [->,line width=1mm] (A5.south) -- (B5.north);}
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   116
363
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   117
  \onslide<2->{
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   118
  \node (Q1) at (-0.45,-0.1) {};
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   119
  \node (Q2) at (-0.45,-2.8) {};
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   120
  \node (Q3) at (-0.45,-2.95) {\alert<2->{\texttt{n\,*\,n:}}};
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   121
  \draw [->,red,line width=1mm] (Q1.south) -- (Q2.north);}
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   122
 \end{tikzpicture}
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   123
\end{center}
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   124
363
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   125
\onslide<3>{This is for when the for-comprehension\\ \textbf{yields / produces} a result.}
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   126
363
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   127
\end{frame}
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   128
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   129
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   130
362
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   131
% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   132
% \begin{frame}[t]
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   133
% \frametitle{For-Comprehensions Again}
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   134
362
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   135
% \begin{center}
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   136
%   \begin{tikzpicture}[scale=1,
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   137
%                       node/.style={
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   138
%                       rectangle,rounded corners=3mm,
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   139
%                       very thick,draw=black!50,
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   140
%                       minimum height=18mm, minimum width=20mm,
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   141
%                       top color=white,bottom color=black!20}]
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   142
362
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   143
%   \node (A0) at (0,0)
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   144
%     {\texttt{\textcolor{purple}{\textbf{for}} (n <- List(1, 2, 3, 4, 5))
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   145
%              \textcolor{purple}{\textbf{yield}} n\,*\,n}};
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   146
362
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   147
%   \node (A1) at (0,-1.5) {\LARGE\textbf{vs}};       
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   148
         
362
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   149
%   \node (A2) at (0,-3)
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   150
%     {\texttt{\textcolor{purple}{\textbf{for}} (n <- List(1, 2, 3, 4, 5)) println(n)}};
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   151
%  \end{tikzpicture}
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   152
% \end{center}\bigskip
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   153
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   154
362
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   155
% The second version is in case the for \textbf{does not}
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   156
% produce any result.
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   157
362
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   158
% \end{frame}
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   159
% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   160
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   161
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   162
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   163
\begin{frame}[c,fragile]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   164
  %\frametitle{Option Type}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   165
  
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   166
  Find something below 4 in a list. What do you think Scala answers?\bigskip\bigskip
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   167
  
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   168
  \begin{onlyenv}<1>
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   169
  \begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-1mm]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   170
  List(7,2,3,4,5,6).find(_ < 4)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   171
       
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   172
  List(5,6,7,8,9).find(_ < 4)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   173
  \end{lstlisting}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   174
  \end{onlyenv}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   175
  \begin{onlyenv}<2>
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   176
  \begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-1mm]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   177
  List(7,2,3,4,5,6).find(_ < 4)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   178
  res: Option[Int] = Some(2)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   179
   
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   180
  List(5,6,7,8,9).find(_ < 4)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   181
  res: Option[Int] = None
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   182
  \end{lstlisting}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   183
  \end{onlyenv}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   184
  
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   185
  \end{frame}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   186
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   187
 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   188
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   189
\begin{frame}[c]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   190
\frametitle{Option Type}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   191
    
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   192
\begin{itemize}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   193
\item if the value is present, you use\bigskip
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   194
\begin{center}\pcode{Some(value)}\end{center}\bigskip\bigskip
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   195
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   196
\item if no value is present, you use\bigskip
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   197
\begin{center}\pcode{None}\end{center}\bigskip\bigskip
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   198
\end{itemize}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   199
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   200
\small e.g.~\code{Option[Int]}, then \code{Some(42)} and \code{None}\\
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   201
good for error handling      
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   202
\end{frame}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   203
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   204
    
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   205
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   206
\begin{frame}[c,fragile]
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   207
\frametitle{Option Type}
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   208
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   209
\small   
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   210
\begin{onlyenv}<1>
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   211
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-1mm]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   212
Integer.parseInt("1234")
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   213
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   214
// vs.
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   215
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   216
def get_me_an_int(s: String) : Option[Int] = 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   217
 Try(Some(Integer.parseInt(s))).getOrElse(None)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   218
\end{lstlisting}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   219
\end{onlyenv}\bigskip\bigskip\bigskip
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   220
 
319
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   221
in the Scala code it is clear from the type I that have to deal 
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   222
with the \pcode{None}-case; no JavaDoc needed
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   223
  
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   224
\end{frame}
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   225
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   226
 
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   227
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   228
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   229
\begin{frame}[c,fragile]
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   230
\frametitle{Higher-Order Functions}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   231
  
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   232
In Scala, functions can take other functions as arguments and can return 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   233
a function as a result.\bigskip\bigskip  
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   234
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   235
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=1mm]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   236
List(7,2,3,4,5,6).find(_ < 4)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   237
\end{lstlisting}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   238
    
362
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   239
\UParrow{1}{8}{11}    
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   240
\end{frame}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   241
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   242
  
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   243
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   244
\begin{frame}[c,fragile]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   245
\frametitle{Higher-Order Functions (2)}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   246
  
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   247
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   248
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=1mm]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   249
def even(x: Int) : Boolean = x % 2 == 0
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   250
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   251
List(1, 2, 3, 4, 5).filter(even)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   252
  res : List[Int] = List(2, 4)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   253
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   254
List(1, 2, 3, 4, 5).count(even)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   255
  res : Int = 2
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   256
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   257
List(1, 2, 3, 4, 5).find(even)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   258
  res: Option[Int] = Some(2)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   259
\end{lstlisting}
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   260
    
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   261
\end{frame}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   262
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
362
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   263
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   264
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   265
\begin{frame}[c,fragile]
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   266
\frametitle{Anonymous Functions}
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   267
  
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   268
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   269
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=1mm]
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   270
def less4(x: Int) = x < 4
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   271
\end{lstlisting}
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   272
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   273
\begin{center}
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   274
vs
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   275
\end{center}  
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   276
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   277
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=1mm]
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   278
      (x: Int) => x < 4
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   279
\end{lstlisting}
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   280
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   281
\end{frame}
fc9394f4f0ea updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 360
diff changeset
   282
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   283
    
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   284
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   285
\begin{frame}[c,fragile]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   286
\frametitle{map (lower case)}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   287
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   288
 applies a function to each element of a list (and more)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   289
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   290
\begin{center}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   291
\begin{tikzpicture}[scale=0.9]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   292
                      
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   293
  \node (A0) at (1.2,0) {\texttt{List(\,}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   294
  \node (A1) at (2.0,0) {\texttt{1\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   295
  \node (A2) at (2.9,0) {\texttt{2\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   296
  \node (A3) at (3.8,0) {\texttt{3\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   297
  \node (A4) at (4.7,0) {\texttt{4\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   298
  \node (A5) at (5.6,0) {\texttt{5\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   299
  \node (A6) at (6.5,0) {\texttt{6\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   300
  \node (A7) at (7.4,0) {\texttt{7\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   301
  \node (A8) at (8.3,0) {\texttt{8)}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   302
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   303
  \node (B0) at (1.2,-3) {\texttt{List(\,}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   304
  \node (B1) at (2.0,-3) {\texttt{1\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   305
  \node (B2) at (3.0,-3) {\texttt{4\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   306
  \node (B3) at (4.1,-3) {\texttt{9\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   307
  \node (B4) at (5.2,-3) {\texttt{16\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   308
  \node (B5) at (6.3,-3) {\texttt{25\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   309
  \node (B6) at (7.4,-3) {\texttt{36\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   310
  \node (B7) at (8.4,-3) {\texttt{49\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   311
  \node (B8) at (9.4,-3) {\texttt{64\makebox[0mm]{ )}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   312
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   313
  \draw [->,line width=1mm] (A1.south) -- (B1.north);
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   314
  \draw [->,line width=1mm] (A2.south) -- (B2.north);
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   315
  \draw [->,line width=1mm] (A3.south) -- (B3.north);
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   316
  \draw [->,line width=1mm] (A4.south) -- (B4.north);
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   317
  \draw [->,line width=1mm] (A5.south) -- (B5.north);
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   318
  \draw [->,line width=1mm] (A6.south) -- (B6.north);
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   319
  \draw [->,line width=1mm] (A7.south) -- (B7.north);
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   320
  \draw [->,line width=1mm] (A8.south) -- (B8.north);
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   321
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   322
  \node [red] (Q0) at (-0.5,-0.3) {\large\texttt{n}}; 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   323
  \node (Q1) at (-0.5,-0.4) {};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   324
  \node (Q2) at (-0.5,-2.5) {};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   325
  \node [red] (Q3) at (-0.5,-2.65) {\large\texttt{n\,*\,n}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   326
  \draw [->,red,line width=1mm] (Q1.south) -- (Q2.north);
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   327
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   328
  \node [red] at (-1.5,-1.5) {\Large{}\it\textbf{map}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   329
 \end{tikzpicture}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   330
\end{center}\bigskip
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   331
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   332
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=1mm]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   333
List(1,2,3,4,5,6,7,8).map(n => n * n)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   334
\end{lstlisting}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   335
\end{frame}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   336
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   337
  
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   338
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   339
\begin{frame}[c,fragile]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   340
\frametitle{For-Comprehensions are maps}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   341
  
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   342
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=1mm]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   343
for (n <- List(1,2,3,4,5,6,7,8)) 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   344
  yield n * n
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   345
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   346
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   347
// is just syntactic sugar for
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   348
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   349
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   350
List(1,2,3,4,5,6,7,8).map(n => n * n)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   351
\end{lstlisting}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   352
    
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   353
\end{frame}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   354
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   355
    
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   356
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   357
\begin{frame}[c,fragile]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   358
\frametitle{Map (upper case)}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   359
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   360
a type, representing a key-value association datastructure\bigskip\bigskip
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   361
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   362
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-2mm]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   363
val ascii = 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   364
     ('a' to 'z').map(c => (c, c.toInt))
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   365
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   366
val ascii_Map = ascii.toMap
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   367
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   368
ascii_Map.get('a')   // -> 97
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   369
\end{lstlisting}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   370
\end{frame}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   371
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   372
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   373
\begin{frame}[c,fragile]
319
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   374
\frametitle{Pattern Matching}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   375
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   376
\ldots on pairs:\bigskip
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   377
319
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   378
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-2mm]
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   379
def fizz_buzz(n: Int) : String = 
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   380
 (n % 3, n % 5) match {
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   381
   case (0, 0) => "fizz buzz"
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   382
   case (0, _) => "fizz"
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   383
   case (_, 0) => "buzz"
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   384
   case _ => n.toString  
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   385
 }
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   386
\end{lstlisting}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   387
\end{frame}
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   388
319
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   389
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   390
\begin{frame}[c,fragile]
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   391
\frametitle{Recursion}
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   392
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   393
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-2mm]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   394
def fib(n: Int) : Int = { 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   395
  if (n == 0 || n == 1) 1
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   396
   else fib(n - 1) + fib(n - 2)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   397
}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   398
\end{lstlisting}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   399
\end{frame}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   400
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   401
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   402
\begin{frame}[c,fragile]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   403
\frametitle{Recursion}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   404
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   405
\small
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   406
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-4mm]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   407
def my_flatten(xs: List[Option[Int]]): List[Int] = 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   408
 xs match {
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   409
   case Nil => Nil 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   410
   case None :: rest => my_flatten(rest)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   411
   case Some(v) :: rest => v :: my_flatten(rest)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   412
 }
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   413
\end{lstlisting}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   414
\end{frame}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   415
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   416
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   417
148
fc72f3ab3a57 updated
Christian Urban <urbanc@in.tum.de>
parents: 147
diff changeset
   418
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
316
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   419
\begin{frame}[c]
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   420
\frametitle{\begin{tabular}{c}\\[0cm]\alert{Questions?}\end{tabular}}
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   421
148
fc72f3ab3a57 updated
Christian Urban <urbanc@in.tum.de>
parents: 147
diff changeset
   422
\begin{center}
316
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   423
  \begin{tabular}[t]{@{}l@{}l@{}}
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   424
    \includegraphics[scale=0.1]{../pics/mand4.png} & \hspace{4mm}
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   425
    \raisebox{0mm}{\includegraphics[scale=0.1]{../pics/mand3.png}}      
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   426
  \end{tabular}     
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   427
\end{center}
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   428
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   429
\begin{center}
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   430
  My Office Hours: Thursdays 12 -- 14\\
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   431
  And specifically for Scala: Tuesdays 10:45 -- 11:45
148
fc72f3ab3a57 updated
Christian Urban <urbanc@in.tum.de>
parents: 147
diff changeset
   432
\end{center}
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   433
\end{frame}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   434
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   435
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   436
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   437
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
365
08241d957be4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 363
diff changeset
   438
% \begin{frame}[t]
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   439
365
08241d957be4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 363
diff changeset
   440
%   \begin{center}  
08241d957be4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 363
diff changeset
   441
%   \includegraphics[scale=0.3]{../pics/blow.png}
08241d957be4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 363
diff changeset
   442
%   \end{center}
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   443
  
365
08241d957be4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 363
diff changeset
   444
%   \begin{textblock}{14}(2,11.4)
08241d957be4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 363
diff changeset
   445
%   \large\bf{}Mind-Blowing Programming Languages:\\ 
08241d957be4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 363
diff changeset
   446
%   Overloading in any language is great but it makes a difference\; \code{10/3}
08241d957be4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 363
diff changeset
   447
%   \;or\; \code{10.0/3}
08241d957be4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 363
diff changeset
   448
%   \end{textblock}
08241d957be4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 363
diff changeset
   449
%   \end{frame}
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   450
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   451
    
365
08241d957be4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 363
diff changeset
   452
% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
08241d957be4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 363
diff changeset
   453
% \begin{frame}[t]
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   454
365
08241d957be4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 363
diff changeset
   455
%   \begin{center}  
08241d957be4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 363
diff changeset
   456
%   \includegraphics[scale=0.3]{../pics/blow.png}
08241d957be4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 363
diff changeset
   457
%   \end{center}
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   458
  
365
08241d957be4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 363
diff changeset
   459
%   \begin{textblock}{14}(2,11.4)
08241d957be4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 363
diff changeset
   460
%   \large\bf{}Mind-Blowing Programming Languages:\\ 
08241d957be4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 363
diff changeset
   461
%   \centering PHP \textcolor{gray}{(7.0)}
08241d957be4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 363
diff changeset
   462
%   \end{textblock}
08241d957be4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 363
diff changeset
   463
%   \end{frame}
08241d957be4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 363
diff changeset
   464
%   %%%
08241d957be4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 363
diff changeset
   465
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   466
319
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   467
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   468
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   469
\begin{frame}[c]
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   470
\frametitle{Jumping Towers}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   471
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   472
\begin{center}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   473
\begin{tikzpicture}[scale=1.2]
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   474
  \draw[line width=1mm,cap=round] (0,0) -- (5,0);
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   475
  \draw[line width=1mm,cap=round] (0,1) -- (5,1);
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   476
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   477
  \draw[line width=1mm,cap=round] (0,0) -- (0,1);
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   478
  \node at (0.5,0.5) {\textbf{\Large 3}};
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   479
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   480
  \draw[line width=1mm,cap=round] (1,0) -- (1,1);
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   481
  \node at (1.5,0.5) {\textbf{\Large 4}};
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   482
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   483
  \draw[line width=1mm,cap=round] (2,0) -- (2,1);
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   484
  \node at (2.5,0.5) {\textbf{\Large 2}};
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   485
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   486
  \draw[line width=1mm,cap=round] (3,0) -- (3,1);
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   487
  \node at (3.5,0.5) {\textbf{\Large 0}};
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   488
  
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   489
  \draw[line width=1mm,cap=round] (4,0) -- (4,1);
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   490
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   491
  \node at (4.5,0.5) {\textbf{\Large 1}};
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   492
  
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   493
  \draw[line width=1mm,cap=round] (5,0) -- (5,1);
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   494
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   495
  \draw[->,line width=0.5mm,cap=round,out=90,in=90,relative] (0.5,1) to (1.5,1);
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   496
  \draw[->,line width=0.5mm,cap=round,out=90,in=90,relative] (0.5,1) to (2.5,1);
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   497
  \draw[->,line width=0.5mm,cap=round,out=90,in=90,relative] (0.5,1) to (3.5,1);
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   498
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   499
  \draw[->,line width=0.5mm,cap=round,out=-90,in=-90,relative] (2.5,0) to (3.5,0);
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   500
  \draw[->,line width=0.5mm,cap=round,out=-90,in=-90,relative] (2.5,0) to (4.5,0);
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   501
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   502
  \draw[->,line width=0.5mm,cap=round,out=90,in=90,relative] (4.5,1) to (5.7,1);
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   503
  \node at (5.7, 0.8) {End};
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   504
\end{tikzpicture}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   505
\end{center}\bigskip
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   506
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   507
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   508
shortest: 3 $\rightarrow$ 4 $\rightarrow$ End
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   509
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   510
\end{frame}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   511
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   512
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   513
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   514
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   515
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   516
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   517
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   518
\begin{frame}[c]
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   519
\frametitle{``Children'' / moves}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   520
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   521
\begin{center}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   522
  \begin{tikzpicture}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   523
    [grow=right,level distance=30mm,child anchor=north,line width=0.5mm]
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   524
  \node {$[3,4,2,0,1]$}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   525
     child {node {$[0,1]$}}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   526
     child {node {$[2,0,1]$}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   527
        child {node {$[1]$} child [level distance=13mm] {node {End}}}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   528
        child {node {$[0,1]$}}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   529
     }
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   530
     child {node {$[4,2,0,1]$\ldots}};
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   531
\end{tikzpicture}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   532
\end{center}
363
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   533
\end{frame}
319
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   534
363
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   535
\begin{frame}<1-10>[t]
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   536
  
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
   537
\end{frame}
319
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   538
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   539
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   540
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   541
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   542
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   543
\end{document}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   544
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   545
%%% Local Variables:  
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   546
%%% mode: latex
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   547
%%% TeX-master: t
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   548
%%% End: 
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   549