slides/slides02.tex
author Christian Urban <christian.urban@kcl.ac.uk>
Tue, 25 Aug 2020 01:41:56 +0100
changeset 338 b4b059aea3fc
parent 319 ed7543c5d317
child 360 1bd1e9cd8c72
permissions -rw-r--r--
update
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
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
\documentclass[dvipsnames,14pt,t,xelatex]{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\\
316
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    49
    Office: & N\liningnums{7.07} (North Wing, Bush House)\bigskip\\
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    50
    Slides \& Code: & KEATS\bigskip\\
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    51
    Office Hours: &  Thursdays 12:00 -- 14:00\\
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
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
316
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    60
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    61
\begin{frame}[c,fragile]
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
    62
  \frametitle{Scala 2.13.1}
316
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    63
  
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    64
  \begin{lstlisting}[language={},numbers=none,
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    65
    basicstyle=\ttfamily\small,xleftmargin=-2mm]
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    66
  $ scala
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    67
    
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    68
  Welcome to Scala 2.13.1 (Java HotSpot(TM) 
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    69
  64-Bit Server VM, Java 9). Type in expressions 
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    70
  for evaluation. Or try :help.
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    71
  
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    72
  scala>
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    73
  \end{lstlisting}%$
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    74
  \bigskip\bigskip
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    75
  
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    76
  With older versions you will get strange results with my reference implementation.
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    77
  
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    78
  \end{frame}
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    79
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
202
3b40cc2a938a updated
Christian Urban <urbanc@in.tum.de>
parents: 151
diff changeset
    80
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
    81
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
202
3b40cc2a938a updated
Christian Urban <urbanc@in.tum.de>
parents: 151
diff changeset
    82
\begin{frame}[c,fragile]
316
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    83
\frametitle{Reference Implementation}
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    84
  
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    85
Keep your implementation and my reference implementation separate.\bigskip
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
    86
316
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    87
  \begin{lstlisting}[language={},numbers=none,
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    88
    basicstyle=\ttfamily\small,xleftmargin=-2mm]
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    89
  $ scala -cp collatz.jar
202
3b40cc2a938a updated
Christian Urban <urbanc@in.tum.de>
parents: 151
diff changeset
    90
  
316
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    91
  scala> CW6a.collatz(6)
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    92
  res0: Long = 8
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    93
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
    94
316
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    95
  scala> import CW6a._
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    96
  scala> collatz(9)
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    97
  res1: Long = 19
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    98
  \end{lstlisting}%$
202
3b40cc2a938a updated
Christian Urban <urbanc@in.tum.de>
parents: 151
diff changeset
    99
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   100
\end{frame}
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   101
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
316
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   102
  
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   103
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   104
\begin{frame}[t]
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   105
  \frametitle{Preliminary Part 7}
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   106
  
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   107
  \Large
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   108
  \[
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   109
    \texttt{overlap}(d_1, d_2) = \frac{d_1 \cdot d_2}{max(d_1^2, d_2^2)}  
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   110
  \]\bigskip
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   111
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   112
  \large
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   113
  \quad{}\;where \;$d_1^2$\; means \;$d_1 \cdot d_1$\; and so on
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   114
\end{frame}
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   115
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   116
  
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   117
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   118
\begin{frame}[c]
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   119
  \frametitle{Discussion Forum}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   120
  
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   121
  \large
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   122
  ``Since we can't use \code{var}s I was wondering if we could use a stack?''
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   123
  \bigskip\bigskip\bigskip\bigskip
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   124
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   125
  \small
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   126
  My \pcode{collatz} and \pcode{collatz_max} functions are 4 loc each. 
204
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   127
\end{frame}
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   128
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   129
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   130
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   131
\begin{frame}[t]
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   132
  \frametitle{Email: Hate 'val'}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   133
  
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   134
  \mbox{}\\[-22mm]\mbox{}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   135
  
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   136
  \begin{center}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   137
    \begin{bubble}[10.5cm]
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   138
    Subject: \textbf{Hate '\textbf{\texttt{val}}'}\hfill 01:00 AM\medskip\\
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   139
  
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   140
    Hello Mr Urban,\medskip\\
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   141
  
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   142
    I just wanted to ask, how are we suppose to work
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   143
    with the completely useless \textbf{\texttt{val}}, that can’t be changed ever? Why is
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   144
    this rule active at all? I’ve spent 4 hours not thinking on the
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   145
    coursework, but how to bypass this annoying rule. What’s the whole
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   146
    point of all these coursework, when we can’t use everything Scala
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   147
    gives us?!?\medskip\\
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   148
  
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   149
    Regards.\\
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   150
    \mbox{}\hspace{5mm}\textcolor{black!50}{<<deleted>>}\\
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   151
    \end{bubble}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   152
  \end{center}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   153
  
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   154
\end{frame}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   155
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   156
  
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   157
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   158
\begin{frame}[c]
204
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   159
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   160
 \mbox{}\\[-25mm]\mbox{}
204
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   161
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   162
\begin{center}
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   163
  \begin{bubble}[10.5cm]
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   164
  Subject: \textbf{Re: Hate '\textbf{\texttt{val}}'}\hfill 01:02 AM\bigskip\bigskip\\
204
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   165
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   166
  \textcolor{black!70}{
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   167
    \textit{\large<<my usual rant about fp\ldots\\ concurrency bla bla\ldots{} better programs
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   168
    yada>>}}\bigskip\bigskip\bigskip
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   169
  
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   170
  PS: What are you trying to do where you desperately want to use \texttt{var}?
204
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   171
  \end{bubble}
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   172
\end{center}
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   173
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   174
\end{frame}
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   175
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   176
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   177
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   178
\begin{frame}[c,fragile]
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   179
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   180
\begin{textblock}{6}(0.5,0.5)
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   181
\begin{bubble}[11.5cm]
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   182
  \small  
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   183
  Subject: \textbf{Re: Re: Hate '\textbf{\texttt{val}}'}\hfill 01:04 AM\medskip\\
204
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   184
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   185
  \textbf{Right now my is\_legal function works fine:}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   186
  
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   187
\footnotesize\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-1mm]
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   188
 def is_legal(dim: Int, path: Path)(x: Pos): Boolean = {
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   189
   var boolReturn = false
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   190
   if(x._1 > dim || x._2 > dim || x._1 < 0 || x._2 < 0) {
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   191
   else { var breakLoop = false
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   192
          if(path == Nil) { boolReturn = true }
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   193
          else { for(i <- 0 until path.length) {
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   194
                    if(breakLoop == false) {
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   195
                      if(path(i) == x) {
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   196
                        boolReturn = true
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   197
                        breakLoop = true
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   198
                      }
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   199
                      else { boolReturn = false }
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   200
                    } else breakLoop
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   201
            }
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   202
          }
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   203
          boolReturn
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   204
   }
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   205
\end{lstlisting}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   206
\end{bubble}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   207
\end{textblock}
204
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   208
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   209
\begin{textblock}{6}(8.2,11.8)
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   210
\begin{bubble}[5.5cm]\footnotesize\bf
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   211
\ldots{}but I can’t make it work with boolReturn being val. What approach would
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   212
you recommend in this case, and is using var in this case justified?
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   213
\end{bubble}
204
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   214
\end{textblock}
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   215
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   216
\only<2>{
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   217
\begin{textblock}{6}(0.3,11.8)
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   218
  \begin{bubble}[3.1cm]
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   219
    \textbf{Me:}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   220
    \raisebox{-12mm}{\includegraphics[scale=0.08]{../pics/throwup.jpg}}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   221
  \end{bubble}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   222
\end{textblock}}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   223
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   224
\end{frame}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   225
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   226
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   227
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   228
\begin{frame}[t,fragile]
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   229
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   230
\mbox{}\\[-25mm]\mbox{}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   231
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   232
\begin{textblock}{6}(0.5,2)
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   233
  \begin{bubble}[11.5cm]
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   234
  Subject: \textbf{Re: Re: Re: Hate '\textbf{\texttt{val}}'}\hfill 01:06 AM\bigskip\\
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   235
  \small
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   236
  
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   237
  OK. So you want to make sure that the \texttt{x}-position is not outside the
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   238
  board....and furthermore you want to make sure that the \texttt{x}-position
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   239
  is not yet in the path list. How about something like\bigskip
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   240
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   241
\footnotesize\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-1mm]
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   242
 def is_legal(dim: Int, path: Path)(x: Pos): Boolean = 
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   243
   ...<<some board conditions>>... && !path.contains(x)
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   244
\end{lstlisting}\bigskip
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   245
  
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   246
  \small Does not even contain a \texttt{val}.
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   247
  \end{bubble}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   248
\end{textblock}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   249
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   250
\begin{textblock}{6}(7,12)
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   251
\footnotesize\textcolor{black!50}{(This is all on one line)}
204
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   252
\end{textblock}
1b04ea68dca6 updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   253
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   254
\end{frame}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   255
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   256
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   257
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   258
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   259
\begin{frame}[t,fragile]
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
\mbox{}\\[-15mm]\mbox{}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   262
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   263
\begin{textblock}{6}(1,3)
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   264
  \begin{bubble}[10.5cm]
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   265
    Subject: \textbf{Re: Re: Re: Re: Hate '\textbf{\texttt{val}}'}\hfill 11:02 AM\bigskip\bigskip\\
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   266
    
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   267
    THANK YOU! You made me change my coding perspective. Because of you,
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   268
    I figured out the next one\ldots
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   269
  \end{bubble}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   270
\end{textblock}
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   271
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   272
\only<2>{
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   273
\begin{textblock}{6}(0.3,11.8)
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   274
  \begin{bubble}[3.1cm]
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   275
    \textbf{Me:}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   276
    \raisebox{-12mm}{\includegraphics[scale=0.15]{../pics/happy.jpg}}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   277
  \end{bubble}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   278
\end{textblock}}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   279
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   280
\end{frame}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   281
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   282
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   283
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   284
 
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   285
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   286
\begin{frame}[c]
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   287
\frametitle{Assignments}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   288
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   289
Don't change any names or types in the templates!\bigskip
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   290
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   291
Avoid at all costs:
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   292
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   293
\begin{itemize}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   294
\item \code{var} 
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   295
\item \code{return} 
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   296
\item \texttt{ListBuffer}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   297
\item \texttt{mutable}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   298
\item \texttt{.par}  
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   299
\end{itemize}\bigskip\bigskip
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   300
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   301
I cannot think of a good reason to use stacks.
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   302
\end{frame}
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   303
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   304
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   305
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   306
\begin{frame}[t]
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   307
\frametitle{For-Comprehensions Again}
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   308
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   309
\begin{center}
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   310
  \begin{tikzpicture}[scale=1,
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   311
                      node/.style={
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   312
                      rectangle,rounded corners=3mm,
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   313
                      very thick,draw=black!50,
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   314
                      minimum height=18mm, minimum width=20mm,
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   315
                      top color=white,bottom color=black!20}]
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   316
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   317
  \node (A0) at (0.1,0) {\texttt{\textcolor{purple}{\textbf{for}} (\alert<2->{n} <- List(}};
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   318
  \node (A1) at (2.3,0) {\texttt{\phantom{,}1,}};
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   319
  \node (A2) at (3.2,0) {\texttt{\phantom{,}2,}};
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   320
  \node (A3) at (4.1,0) {\texttt{\phantom{,}3,}};
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   321
  \node (A4) at (5.0,0) {\texttt{\phantom{,}4,}};
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   322
  \node (A5) at (5.9,0) {\texttt{\phantom{))}5))}};
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   323
  \node (A6) at (8,0) {\texttt{\textcolor{purple}{\textbf{yield}} \alert<2->{n\,*\,n}}};
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   324
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   325
  \onslide<2->{
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   326
  \node (B0) at (1.4,-3) {\texttt{List(}};
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   327
  \node (B1) at (2.3,-3) {\texttt{\phantom{,}1,}};
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   328
  \node (B2) at (3.6,-3) {\texttt{\phantom{,}4,}};
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   329
  \node (B3) at (4.9,-3) {\texttt{\phantom{,}9,}};
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   330
  \node (B4) at (6.2,-3) {\texttt{\phantom{,}16,}};
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   331
  \node (B5) at (7.5,-3) {\texttt{\phantom{,}25)}};}
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   332
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   333
  \onslide<2->{
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   334
  \draw [->,line width=1mm] (A1.south) -- (B1.north);
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   335
  \draw [->,line width=1mm] (A2.south) -- (B2.north);
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   336
  \draw [->,line width=1mm] (A3.south) -- (B3.north);
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   337
  \draw [->,line width=1mm] (A4.south) -- (B4.north);
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   338
  \draw [->,line width=1mm] (A5.south) -- (B5.north);}
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   339
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   340
  \onslide<2->{
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   341
  \node (Q1) at (-0.45,-0.1) {};
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   342
  \node (Q2) at (-0.45,-2.8) {};
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   343
  \node (Q3) at (-0.45,-2.95) {\alert<2->{\texttt{n\,*\,n:}}};
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   344
  \draw [->,red,line width=1mm] (Q1.south) -- (Q2.north);}
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   345
 \end{tikzpicture}
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   346
\end{center}
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   347
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   348
\onslide<3>{This is for when the for-comprehension\\ \textbf{yields / produces} a result.}
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   349
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   350
\end{frame}
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   351
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   352
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   353
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   354
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   355
\begin{frame}[t]
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   356
\frametitle{For-Comprehensions Again}
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   357
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   358
\begin{center}
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   359
  \begin{tikzpicture}[scale=1,
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   360
                      node/.style={
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   361
                      rectangle,rounded corners=3mm,
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   362
                      very thick,draw=black!50,
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   363
                      minimum height=18mm, minimum width=20mm,
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   364
                      top color=white,bottom color=black!20}]
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   365
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   366
  \node (A0) at (0,0)
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   367
    {\texttt{\textcolor{purple}{\textbf{for}} (n <- List(1, 2, 3, 4, 5))
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   368
             \textcolor{purple}{\textbf{yield}} n\,*\,n}};
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   369
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   370
  \node (A1) at (0,-1.5) {\LARGE\textbf{vs}};       
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   371
         
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   372
  \node (A2) at (0,-3)
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   373
    {\texttt{\textcolor{purple}{\textbf{for}} (n <- List(1, 2, 3, 4, 5)) println(n)}};
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   374
 \end{tikzpicture}
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   375
\end{center}\bigskip
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   376
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   377
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   378
The second version is in case the for \textbf{does not}
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   379
produce any result.
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   380
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   381
\end{frame}
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   382
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   383
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   384
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   385
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   386
\begin{frame}[c,fragile]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   387
  %\frametitle{Option Type}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   388
  
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   389
  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
   390
  
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   391
  \begin{onlyenv}<1>
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   392
  \begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-1mm]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   393
  List(7,2,3,4,5,6).find(_ < 4)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   394
       
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   395
  List(5,6,7,8,9).find(_ < 4)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   396
  \end{lstlisting}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   397
  \end{onlyenv}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   398
  \begin{onlyenv}<2>
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   399
  \begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-1mm]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   400
  List(7,2,3,4,5,6).find(_ < 4)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   401
  res: Option[Int] = Some(2)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   402
   
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   403
  List(5,6,7,8,9).find(_ < 4)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   404
  res: Option[Int] = None
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   405
  \end{lstlisting}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   406
  \end{onlyenv}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   407
  
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   408
  \end{frame}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   409
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   410
 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   411
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   412
\begin{frame}[c]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   413
\frametitle{Option Type}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   414
    
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   415
\begin{itemize}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   416
\item if the value is present, you use\bigskip
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   417
\begin{center}\pcode{Some(value)}\end{center}\bigskip\bigskip
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   418
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   419
\item if no value is present, you use\bigskip
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   420
\begin{center}\pcode{None}\end{center}\bigskip\bigskip
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   421
\end{itemize}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   422
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   423
\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
   424
good for error handling      
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   425
\end{frame}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   426
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   427
    
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   428
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   429
\begin{frame}[c,fragile]
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   430
\frametitle{Option Type}
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   431
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   432
\small   
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   433
\begin{onlyenv}<1>
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   434
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-1mm]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   435
Integer.parseInt("1234")
66
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
// vs.
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   438
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   439
def get_me_an_int(s: String) : Option[Int] = 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   440
 Try(Some(Integer.parseInt(s))).getOrElse(None)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   441
\end{lstlisting}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   442
\end{onlyenv}\bigskip\bigskip\bigskip
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   443
 
319
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   444
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
   445
with the \pcode{None}-case; no JavaDoc needed
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   446
  
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   447
\end{frame}
147
3e5d8657302f updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   448
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   449
 
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   450
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   451
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   452
\begin{frame}[c,fragile]
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   453
\frametitle{Higher-Order Functions}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   454
  
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   455
In Scala, functions can take other functions as arguments and can return 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   456
a function as a result.\bigskip\bigskip  
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   457
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   458
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=1mm]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   459
List(7,2,3,4,5,6).find(_ < 4)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   460
\end{lstlisting}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   461
    
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   462
\UParrow{1}{10}{11}    
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   463
\end{frame}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   464
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   465
  
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   466
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   467
\begin{frame}[c,fragile]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   468
\frametitle{Higher-Order Functions (2)}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   469
  
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   470
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   471
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=1mm]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   472
def even(x: Int) : Boolean = x % 2 == 0
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   473
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   474
List(1, 2, 3, 4, 5).filter(even)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   475
  res : List[Int] = List(2, 4)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   476
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   477
List(1, 2, 3, 4, 5).count(even)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   478
  res : Int = 2
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   479
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   480
List(1, 2, 3, 4, 5).find(even)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   481
  res: Option[Int] = Some(2)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   482
\end{lstlisting}
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   483
    
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   484
\end{frame}
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   485
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   486
    
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   487
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   488
\begin{frame}[c,fragile]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   489
\frametitle{map (lower case)}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   490
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   491
 applies a function to each element of a list (and more)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   492
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   493
\begin{center}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   494
\begin{tikzpicture}[scale=0.9]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   495
                      
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   496
  \node (A0) at (1.2,0) {\texttt{List(\,}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   497
  \node (A1) at (2.0,0) {\texttt{1\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   498
  \node (A2) at (2.9,0) {\texttt{2\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   499
  \node (A3) at (3.8,0) {\texttt{3\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   500
  \node (A4) at (4.7,0) {\texttt{4\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   501
  \node (A5) at (5.6,0) {\texttt{5\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   502
  \node (A6) at (6.5,0) {\texttt{6\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   503
  \node (A7) at (7.4,0) {\texttt{7\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   504
  \node (A8) at (8.3,0) {\texttt{8)}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   505
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   506
  \node (B0) at (1.2,-3) {\texttt{List(\,}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   507
  \node (B1) at (2.0,-3) {\texttt{1\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   508
  \node (B2) at (3.0,-3) {\texttt{4\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   509
  \node (B3) at (4.1,-3) {\texttt{9\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   510
  \node (B4) at (5.2,-3) {\texttt{16\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   511
  \node (B5) at (6.3,-3) {\texttt{25\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   512
  \node (B6) at (7.4,-3) {\texttt{36\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   513
  \node (B7) at (8.4,-3) {\texttt{49\makebox[0mm]{ ,}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   514
  \node (B8) at (9.4,-3) {\texttt{64\makebox[0mm]{ )}}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   515
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   516
  \draw [->,line width=1mm] (A1.south) -- (B1.north);
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   517
  \draw [->,line width=1mm] (A2.south) -- (B2.north);
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   518
  \draw [->,line width=1mm] (A3.south) -- (B3.north);
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   519
  \draw [->,line width=1mm] (A4.south) -- (B4.north);
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   520
  \draw [->,line width=1mm] (A5.south) -- (B5.north);
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   521
  \draw [->,line width=1mm] (A6.south) -- (B6.north);
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   522
  \draw [->,line width=1mm] (A7.south) -- (B7.north);
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   523
  \draw [->,line width=1mm] (A8.south) -- (B8.north);
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   524
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   525
  \node [red] (Q0) at (-0.5,-0.3) {\large\texttt{n}}; 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   526
  \node (Q1) at (-0.5,-0.4) {};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   527
  \node (Q2) at (-0.5,-2.5) {};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   528
  \node [red] (Q3) at (-0.5,-2.65) {\large\texttt{n\,*\,n}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   529
  \draw [->,red,line width=1mm] (Q1.south) -- (Q2.north);
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   530
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   531
  \node [red] at (-1.5,-1.5) {\Large{}\it\textbf{map}};
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   532
 \end{tikzpicture}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   533
\end{center}\bigskip
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   534
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   535
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=1mm]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   536
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
   537
\end{lstlisting}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   538
\end{frame}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   539
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   540
  
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   541
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   542
\begin{frame}[c,fragile]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   543
\frametitle{For-Comprehensions are maps}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   544
  
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   545
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=1mm]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   546
for (n <- List(1,2,3,4,5,6,7,8)) 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   547
  yield n * n
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   548
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   549
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   550
// is just syntactic sugar for
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   551
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   552
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   553
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
   554
\end{lstlisting}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   555
    
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   556
\end{frame}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   557
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   558
    
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   559
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   560
\begin{frame}[c,fragile]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   561
\frametitle{Map (upper case)}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   562
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   563
a type, representing a key-value association datastructure\bigskip\bigskip
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   564
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   565
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-2mm]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   566
val ascii = 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   567
     ('a' to 'z').map(c => (c, c.toInt))
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   568
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   569
val ascii_Map = ascii.toMap
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   570
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   571
ascii_Map.get('a')   // -> 97
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   572
\end{lstlisting}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   573
\end{frame}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   574
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   575
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   576
\begin{frame}[c,fragile]
319
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   577
\frametitle{Pattern Matching}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   578
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   579
\ldots on pairs:\bigskip
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   580
319
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   581
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-2mm]
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   582
def fizz_buzz(n: Int) : String = 
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   583
 (n % 3, n % 5) match {
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   584
   case (0, 0) => "fizz buzz"
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   585
   case (0, _) => "fizz"
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   586
   case (_, 0) => "buzz"
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   587
   case _ => n.toString  
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   588
 }
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   589
\end{lstlisting}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   590
\end{frame}
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   591
319
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   592
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   593
\begin{frame}[c,fragile]
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   594
\frametitle{Recursion}
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   595
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   596
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-2mm]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   597
def fib(n: Int) : Int = { 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   598
  if (n == 0 || n == 1) 1
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   599
   else fib(n - 1) + fib(n - 2)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   600
}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   601
\end{lstlisting}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   602
\end{frame}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   603
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   604
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   605
\begin{frame}[c,fragile]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   606
\frametitle{Recursion}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   607
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   608
\small
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   609
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-4mm]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   610
def my_flatten(xs: List[Option[Int]]): List[Int] = 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   611
 xs match {
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   612
   case Nil => Nil 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   613
   case None :: rest => my_flatten(rest)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   614
   case Some(v) :: rest => v :: my_flatten(rest)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   615
 }
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   616
\end{lstlisting}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   617
\end{frame}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   618
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   619
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
317
07583fbe4f95 updated
Christian Urban <urbanc@in.tum.de>
parents: 316
diff changeset
   620
148
fc72f3ab3a57 updated
Christian Urban <urbanc@in.tum.de>
parents: 147
diff changeset
   621
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
316
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   622
\begin{frame}[c]
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   623
\frametitle{\begin{tabular}{c}\\[0cm]\alert{Questions?}\end{tabular}}
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   624
148
fc72f3ab3a57 updated
Christian Urban <urbanc@in.tum.de>
parents: 147
diff changeset
   625
\begin{center}
316
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   626
  \begin{tabular}[t]{@{}l@{}l@{}}
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   627
    \includegraphics[scale=0.1]{../pics/mand4.png} & \hspace{4mm}
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   628
    \raisebox{0mm}{\includegraphics[scale=0.1]{../pics/mand3.png}}      
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   629
  \end{tabular}     
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   630
\end{center}
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   631
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   632
\begin{center}
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   633
  My Office Hours: Thursdays 12 -- 14\\
03d55eb6a0b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   634
  And specifically for Scala: Tuesdays 10:45 -- 11:45
148
fc72f3ab3a57 updated
Christian Urban <urbanc@in.tum.de>
parents: 147
diff changeset
   635
\end{center}
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   636
\end{frame}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   637
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   638
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   639
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   640
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   641
\begin{frame}[t]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   642
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   643
  \begin{center}  
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   644
  \includegraphics[scale=0.3]{../pics/blow.png}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   645
  \end{center}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   646
  
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   647
  \begin{textblock}{14}(2,11.4)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   648
  \large\bf{}Mind-Blowing Programming Languages:\\ 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   649
  Overloading in any language is great but it makes a difference\; \code{10/3}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   650
  \;or\; \code{10.0/3}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   651
  \end{textblock}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   652
  \end{frame}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   653
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   654
    
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   655
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   656
\begin{frame}[t]
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   657
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   658
  \begin{center}  
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   659
  \includegraphics[scale=0.3]{../pics/blow.png}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   660
  \end{center}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   661
  
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   662
  \begin{textblock}{14}(2,11.4)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   663
  \large\bf{}Mind-Blowing Programming Languages:\\ 
319
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   664
  \centering PHP \textcolor{gray}{(7.0)}
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   665
  \end{textblock}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   666
  \end{frame}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   667
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   668
319
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   669
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   670
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   671
\begin{frame}[c]
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   672
\frametitle{Jumping Towers}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   673
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   674
\begin{center}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   675
\begin{tikzpicture}[scale=1.2]
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   676
  \draw[line width=1mm,cap=round] (0,0) -- (5,0);
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   677
  \draw[line width=1mm,cap=round] (0,1) -- (5,1);
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   678
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   679
  \draw[line width=1mm,cap=round] (0,0) -- (0,1);
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   680
  \node at (0.5,0.5) {\textbf{\Large 3}};
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   681
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   682
  \draw[line width=1mm,cap=round] (1,0) -- (1,1);
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   683
  \node at (1.5,0.5) {\textbf{\Large 4}};
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   684
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   685
  \draw[line width=1mm,cap=round] (2,0) -- (2,1);
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   686
  \node at (2.5,0.5) {\textbf{\Large 2}};
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   687
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   688
  \draw[line width=1mm,cap=round] (3,0) -- (3,1);
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   689
  \node at (3.5,0.5) {\textbf{\Large 0}};
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   690
  
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   691
  \draw[line width=1mm,cap=round] (4,0) -- (4,1);
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   692
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   693
  \node at (4.5,0.5) {\textbf{\Large 1}};
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   694
  
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   695
  \draw[line width=1mm,cap=round] (5,0) -- (5,1);
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   696
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   697
  \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
   698
  \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
   699
  \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
   700
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   701
  \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
   702
  \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
   703
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   704
  \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
   705
  \node at (5.7, 0.8) {End};
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   706
\end{tikzpicture}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   707
\end{center}\bigskip
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   708
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   709
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   710
shortest: 3 $\rightarrow$ 4 $\rightarrow$ End
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   711
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   712
\end{frame}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   713
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   714
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   715
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   716
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   717
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   718
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   719
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   720
\begin{frame}[c]
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   721
\frametitle{``Children'' / moves}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   722
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   723
\begin{center}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   724
  \begin{tikzpicture}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   725
    [grow=right,level distance=30mm,child anchor=north,line width=0.5mm]
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   726
  \node {$[3,4,2,0,1]$}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   727
     child {node {$[0,1]$}}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   728
     child {node {$[2,0,1]$}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   729
        child {node {$[1]$} child [level distance=13mm] {node {End}}}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   730
        child {node {$[0,1]$}}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   731
     }
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   732
     child {node {$[4,2,0,1]$\ldots}};
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   733
\end{tikzpicture}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   734
\end{center}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   735
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   736
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   737
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   738
\end{frame}
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   739
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   740
ed7543c5d317 updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   741
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 317
diff changeset
   742
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   743
\end{document}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   744
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   745
%%% Local Variables:  
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   746
%%% mode: latex
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   747
%%% TeX-master: t
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   748
%%% End: 
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   749