slides/slides01.tex
author Christian Urban <urbanc@in.tum.de>
Wed, 06 Nov 2019 00:36:45 +0000
changeset 314 21b52310bd8b
parent 309 b192bc772613
child 334 841727e27252
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
308
e86add5a6961 updated
Christian Urban <urbanc@in.tum.de>
parents: 278
diff changeset
     1
% !TEX program = xelatex
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
\documentclass[dvipsnames,14pt,t,xelatex]{beamer}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
\usepackage{../slides}
32
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
     4
\usepackage{../graphics}
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
\usepackage{../langs}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
%\usepackage{../data}
309
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
     7
\usetikzlibrary{shapes}
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
\hfuzz=220pt 
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
%\setmonofont[Scale=.88]{Consolas}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
%\newfontfamily{\consolas}{Consolas}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
\lstset{language=Scala,
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
        style=mystyle,
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
        numbersep=0pt,
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
        numbers=none,
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18
        xleftmargin=0mm}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19
309
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    20
\newcommand{\bl}[1]{\textcolor{blue}{#1}}    
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    21
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    22
\newcommand{\RIGHTarrow}[3]{%
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    23
\begin{textblock}{0}(#2,#3)%
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    24
\onslide<#1>{%
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    25
\begin{tikzpicture}%
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    26
\node at (0,0) [single arrow, shape border rotate=0, fill=red,text=red]{a};%
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    27
\end{tikzpicture}}%
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    28
\end{textblock}}
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    29
\newcommand{\LEFTarrow}[3]{%
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    30
\begin{textblock}{0}(#2,#3)%
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    31
\onslide<#1>{%
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    32
\begin{tikzpicture}%
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    33
\node at (0,0) [single arrow, shape border rotate=180, fill=red,text=red]{a};%
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    34
\end{tikzpicture}}%
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    35
\end{textblock}}
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    36
\newcommand{\DOWNarrow}[3]{%
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    37
\begin{textblock}{0}(#2,#3)%
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    38
\onslide<#1>{%
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    39
\begin{tikzpicture}%
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    40
\node at (0,0) [single arrow, shape border rotate=270, fill=red,text=red]{a};%
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    41
\end{tikzpicture}}%
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    42
\end{textblock}}
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    43
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    44
% beamer stuff 
195
fc3ac7b70a06 updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    45
\renewcommand{\slidecaption}{PEP (Scala) \liningnums{01}, King's College London}
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    46
278
0c2481cd8b1c updated
Christian Urban <urbanc@in.tum.de>
parents: 200
diff changeset
    47
%https://insights.stackoverflow.com/survey/2019#technology-most-loved-dreaded-and-wanted
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    48
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    49
\begin{document}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    50
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    51
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    52
\begin{frame}[t]
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    53
\frametitle{%
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    54
  \begin{tabular}{@ {}c@ {}}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    55
  \\[5mm]
199
54befaf23648 updated
Christian Urban <urbanc@in.tum.de>
parents: 195
diff changeset
    56
  \hspace{7mm}\huge PEP Scala (\liningnums{1}) 
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    57
  \end{tabular}}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    58
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    59
  \normalsize
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    60
  \begin{center}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    61
  \begin{tabular}{ll}
137
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
    62
    Email:  & christian.urban at kcl.ac.uk\\
309
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    63
    Office: & N\liningnums{7.07} (North Wing, Bush House)\bigskip\\
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
    64
    Slides \& Code: & KEATS\bigskip\\
308
e86add5a6961 updated
Christian Urban <urbanc@in.tum.de>
parents: 278
diff changeset
    65
    Office Hours: &  Thursdays 12:00 -- 14:00\\
e86add5a6961 updated
Christian Urban <urbanc@in.tum.de>
parents: 278
diff changeset
    66
    Additionally: & (for Scala) Tuesdays 10:45 -- 11:45\\ 
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    67
  \end{tabular}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    68
  \end{center}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    69
199
54befaf23648 updated
Christian Urban <urbanc@in.tum.de>
parents: 195
diff changeset
    70
  %\tiny
54befaf23648 updated
Christian Urban <urbanc@in.tum.de>
parents: 195
diff changeset
    71
  %developed since 2004 bv Martin Odersky
54befaf23648 updated
Christian Urban <urbanc@in.tum.de>
parents: 195
diff changeset
    72
  %picture about assignments
54befaf23648 updated
Christian Urban <urbanc@in.tum.de>
parents: 195
diff changeset
    73
54befaf23648 updated
Christian Urban <urbanc@in.tum.de>
parents: 195
diff changeset
    74
\begin{textblock}{6}(0.5,0.5)
54befaf23648 updated
Christian Urban <urbanc@in.tum.de>
parents: 195
diff changeset
    75
\includegraphics[scale=0.035]{../pics/assign.jpg}\\[-1mm]
54befaf23648 updated
Christian Urban <urbanc@in.tum.de>
parents: 195
diff changeset
    76
\end{textblock}
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    77
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    78
\end{frame}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    79
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    80
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    81
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    82
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    83
\begin{frame}[c]
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    84
\frametitle{Why Scala?}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    85
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    86
\begin{textblock}{6}(3,4)
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    87
\begin{tabular}{l}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    88
\mbox{}\hspace{-1mm}\includegraphics[scale=0.36]{../pics/twitter.png}\\[-1mm]
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    89
\includegraphics[scale=0.30]{../pics/linked.png}\\
141
822adb464c90 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    90
\includegraphics[scale=0.30]{../pics/guardian.jpg}\\[-3mm]
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    91
\mbox{}\hspace{-2mm}\includegraphics[scale=0.38]{../pics/morgan.png}\\[-3mm]
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    92
\includegraphics[scale=0.30]{../pics/suisse.png}\\
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    93
{\large\bf ...}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    94
\end{tabular}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    95
\end{textblock}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    96
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    97
\begin{textblock}{6}(9,4)
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    98
\begin{tabular}{l}
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    99
\includegraphics[scale=0.20]{../pics/edf.png}\\[-1mm]
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   100
\includegraphics[scale=0.08]{../pics/novell.png}\\[-1mm]
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   101
\includegraphics[scale=0.30]{../pics/foursquare.png}\\
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   102
\includegraphics[scale=0.30]{../pics/hsbc.png}\\
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   103
{\large\bf ...}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   104
\end{tabular}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   105
\end{textblock}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   106
199
54befaf23648 updated
Christian Urban <urbanc@in.tum.de>
parents: 195
diff changeset
   107
54befaf23648 updated
Christian Urban <urbanc@in.tum.de>
parents: 195
diff changeset
   108
\begin{textblock}{6}(2,12)
308
e86add5a6961 updated
Christian Urban <urbanc@in.tum.de>
parents: 278
diff changeset
   109
\begin{bubble}[9.4cm]
199
54befaf23648 updated
Christian Urban <urbanc@in.tum.de>
parents: 195
diff changeset
   110
  \small
308
e86add5a6961 updated
Christian Urban <urbanc@in.tum.de>
parents: 278
diff changeset
   111
  developed since 2004 by Martin Odersky
200
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   112
  (he was behind Generic Java which was included in Java 5
308
e86add5a6961 updated
Christian Urban <urbanc@in.tum.de>
parents: 278
diff changeset
   113
  \ldots I am using Scala since maybe 2008?)
199
54befaf23648 updated
Christian Urban <urbanc@in.tum.de>
parents: 195
diff changeset
   114
\end{bubble}
54befaf23648 updated
Christian Urban <urbanc@in.tum.de>
parents: 195
diff changeset
   115
\end{textblock}
54befaf23648 updated
Christian Urban <urbanc@in.tum.de>
parents: 195
diff changeset
   116
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   117
\end{frame}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   118
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   119
174
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 142
diff changeset
   120
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   121
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   122
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   123
\begin{frame}[c]
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   124
\frametitle{Why Scala?}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   125
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   126
\begin{itemize}
34
40424bbe109e updated
Christian Urban <urbanc@in.tum.de>
parents: 33
diff changeset
   127
\item compiles to the JVM\\
40424bbe109e updated
Christian Urban <urbanc@in.tum.de>
parents: 33
diff changeset
   128
  \textcolor{gray}{(also JavaScript, native X86 in the works)}\medskip
32
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   129
\item integrates seamlessly with Java\medskip
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   130
\item combines \underline{\bf functional} and {\bf object-oriented} programming\bigskip
308
e86add5a6961 updated
Christian Urban <urbanc@in.tum.de>
parents: 278
diff changeset
   131
\item it is a bit on the ``theory'' / ``mathematical'' side\\
199
54befaf23648 updated
Christian Urban <urbanc@in.tum.de>
parents: 195
diff changeset
   132
  \textcolor{gray}{(no pointers, no \texttt{null}, but expressions)}
34
40424bbe109e updated
Christian Urban <urbanc@in.tum.de>
parents: 33
diff changeset
   133
  
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   134
\item often one can write very concise and elegant code
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   135
\end{itemize}\bigskip\medskip  
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   136
308
e86add5a6961 updated
Christian Urban <urbanc@in.tum.de>
parents: 278
diff changeset
   137
%\small
e86add5a6961 updated
Christian Urban <urbanc@in.tum.de>
parents: 278
diff changeset
   138
%alternatives:\\
e86add5a6961 updated
Christian Urban <urbanc@in.tum.de>
parents: 278
diff changeset
   139
%Elm, Haskell, Ocaml, F$\sharp$, Erlang, ML, Lisp (Racket), \ldots
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   140
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   141
\end{frame}
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   142
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   143
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   144
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
308
e86add5a6961 updated
Christian Urban <urbanc@in.tum.de>
parents: 278
diff changeset
   145
\begin{frame}[t]
32
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   146
\frametitle{Java vs Scala}
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   147
308
e86add5a6961 updated
Christian Urban <urbanc@in.tum.de>
parents: 278
diff changeset
   148
{\lstset{language=java,numbers=right}\fontsize{12}{12}\selectfont
32
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   149
\texttt{\lstinputlisting{Point.java}}}
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   150
308
e86add5a6961 updated
Christian Urban <urbanc@in.tum.de>
parents: 278
diff changeset
   151
\rule{11cm}{0.3mm}\\[-3mm]
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   152
32
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   153
{\lstset{language=scala}\fontsize{12}{12}\selectfont
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   154
\texttt{\lstinputlisting{Point.scala}}}
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   155
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   156
\begin{textblock}{6}(13,3)
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   157
\textbf{\large Java}
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   158
\end{textblock}
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   159
308
e86add5a6961 updated
Christian Urban <urbanc@in.tum.de>
parents: 278
diff changeset
   160
\begin{textblock}{6}(13,14.3)
32
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   161
\textbf{\large Scala}
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   162
\end{textblock}  
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   163
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   164
\end{frame}
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   165
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   166
174
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 142
diff changeset
   167
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 142
diff changeset
   168
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 142
diff changeset
   169
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 142
diff changeset
   170
\begin{frame}[c]
137
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   171
\frametitle{First Steps: Scala Tools}
32
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   172
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   173
\begin{itemize}
308
e86add5a6961 updated
Christian Urban <urbanc@in.tum.de>
parents: 278
diff changeset
   174
\item contains a REPL  
200
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   175
\item I use VS Code and a Scala extension (M'place)
199
54befaf23648 updated
Christian Urban <urbanc@in.tum.de>
parents: 195
diff changeset
   176
\begin{center}  
54befaf23648 updated
Christian Urban <urbanc@in.tum.de>
parents: 195
diff changeset
   177
\includegraphics[scale=0.10]{../pics/vscode.png}\\[-10mm]\mbox{}
54befaf23648 updated
Christian Urban <urbanc@in.tum.de>
parents: 195
diff changeset
   178
\end{center}\bigskip
54befaf23648 updated
Christian Urban <urbanc@in.tum.de>
parents: 195
diff changeset
   179
  
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   180
\item there is a plugin for Eclipse (called Scala IDE)\medskip
137
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   181
\item there is also a plugin for IntelliJ\medskip
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   182
\end{itemize}  
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   183
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   184
\end{frame}
137
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   185
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   186
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   187
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
309
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   188
\begin{frame}[t]
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   189
\frametitle{Why Scala?}
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   190
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   191
\onslide<2->{%
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   192
\begin{center} 
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   193
{\large\bf{}Money?}\bigskip\\  
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   194
\begin{tabular}{@{}c@{}c@{}}
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   195
\includegraphics[scale=0.2]{../pics/salary1.png} &
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   196
\includegraphics[scale=0.2]{../pics/salary2.png}\\
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   197
\multicolumn{2}{r@{}}{\footnotesize$^*$ source: Stackoverflow Developer Survey, 2019}
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   198
\end{tabular}  
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   199
\end{center}
314
21b52310bd8b updated
Christian Urban <urbanc@in.tum.de>
parents: 309
diff changeset
   200
\RIGHTarrow{2}{2.4}{6.4}
21b52310bd8b updated
Christian Urban <urbanc@in.tum.de>
parents: 309
diff changeset
   201
\DOWNarrow{2}{10.1}{4.4}
309
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   202
}
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   203
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   204
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   205
\small
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   206
Elm, Rust, Haskell, Ocaml, F$\#$, Erlang, ML, Lisp (Racket)\ldots 
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   207
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   208
\only<3>{
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   209
\begin{textblock}{6}(3.3,6.2)
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   210
\begin{bubble}[6.5cm]
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   211
\bf\huge\textcolor{RoyalBlue}{Functional Programming!}
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   212
\end{bubble}
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   213
\end{textblock}}
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   214
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   215
\end{frame}
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   216
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   217
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   218
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   219
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
137
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   220
\begin{frame}[c]
309
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   221
  \frametitle{\begin{tabular}{c}\\[2mm]
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   222
  Why Functional\\[-2mm] Programming?\end{tabular}
137
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   223
}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   224
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   225
  %
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   226
  \mbox{}\\[3.5cm]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   227
  \small
309
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   228
Elm, Haskell, Ocaml, F$\#$, Erlang, ML, Lisp (Racket)\ldots 
137
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   229
309
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   230
\only<2>{
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   231
\begin{textblock}{6}(1.3,6.2)
137
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   232
\begin{bubble}[10cm]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   233
\normalsize``If you want to see which features will be in mainstream programming
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   234
  languages tomorrow, then take a look at functional programming
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   235
  languages today.''\medskip\small\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   236
  \hfill{}---Simon Peyton Jones (works at Microsoft)\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   237
  \hfill{}main developer of the Glasgow Haskell Compiler
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   238
\end{bubble}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   239
\end{textblock}}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   240
309
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   241
\only<3>{
200
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   242
\begin{textblock}{6}(5,5.8)
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   243
\hspace{2mm}\includegraphics[scale=0.06]{../pics/assign.jpg}\\[-1mm]
309
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   244
\Large\alert{\hspace{5mm}\textbf{Immutability}}
200
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   245
\end{textblock}}
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   246
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   247
137
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   248
\end{frame}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   249
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   250
200
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   251
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
309
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   252
\begin{frame}[c]
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   253
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   254
\begin{center}  
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   255
\includegraphics[scale=0.4]{../pics/pure.png}
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   256
\end{center}
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   257
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   258
\begin{textblock}{6}(9,14)
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   259
\tiny$^*$ from ``What pure functional programming is all about?''
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   260
\end{textblock}
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   261
\end{frame}
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   262
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   263
  
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   264
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   265
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
200
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   266
\begin{frame}[c, fragile]
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   267
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   268
{\Large Why bother? or\smallskip\\\hfill What is wrong with this?}\bigskip\bigskip
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   269
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   270
  
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   271
\begin{lstlisting}[language=C,numbers=none]
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   272
for (int i = 10; i < 20; i++) {
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   273
    
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   274
  //...Do something interesting
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   275
  //   with i...
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   276
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   277
}
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   278
\end{lstlisting}
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   279
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   280
  
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   281
\end{frame}
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   282
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   283
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   284
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   285
137
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   286
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   287
\begin{frame}[c]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   288
\mbox{}\\[-21mm]\mbox{}  
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   289
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   290
\begin{center}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   291
  \begin{tikzpicture}[scale=1,
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   292
                      node/.style={
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   293
                      rectangle,rounded corners=3mm,
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   294
                      very thick,draw=black!50,
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   295
                      minimum height=18mm, minimum width=20mm,
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   296
                      top color=white,bottom color=black!20}]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   297
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   298
  \onslide<1-10>{                
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   299
  \node (A) at (0,0) [node]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   300
     {\mbox{\includegraphics[scale=0.15]{../pics/cplus2.jpg}}};
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   301
  \node [above right] at (A.north west) {1986};}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   302
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   303
  \onslide<2->{
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   304
  \node (B) at (3.5,0) [node]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   305
     {\mbox{\includegraphics[scale=0.15]{../pics/robotron.jpg}}};
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   306
  \node [above right] at (B.north west) {1988, C};
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   307
  \draw [->,line width=4mm] (A) -- (B);}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   308
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   309
  \onslide<3->{
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   310
  \node (C0) at (6.3,0) {};
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   311
  \node (C) at (8,0)  [node]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   312
     {\mbox{\includegraphics[scale=0.15]{../pics/sun.jpg}}};
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   313
  \node [above right] at (C.north west) {1992, {\small Linux}};
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   314
  \draw [->,line width=4mm] (B) -- (C0);
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   315
  \draw [->,line width=4mm] (C0) -- (C);}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   316
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   317
  \onslide<4->{
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   318
  \node (D) at (8,-3.3)  [node]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   319
     {\mbox{\includegraphics[scale=0.2]{../pics/gateway.jpg}}};
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   320
  \draw [->,line width=4mm] (C) -- (D);
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   321
  \node [below right] at (D.south west) {1996};}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   322
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   323
  \onslide<5->{
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   324
  \node (E) at (4,-3.3)  [node]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   325
     {\mbox{\includegraphics[scale=0.1]{../pics/appleg4.jpg}}};
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   326
  \draw [->,line width=4mm] (D) -- (E);
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   327
  \node [above right] at (E.north west) {2000};}   
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   328
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   329
  \onslide<6->{
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   330
  \node (F0) at (1.5,-3.3) {};
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   331
  \node (F1) at (1,-3.3) {};
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   332
  \node (F) at (-0.9,-3.3)  [node]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   333
     {\mbox{\includegraphics[scale=0.3]{../pics/appleair.png}}};
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   334
  \draw [->,line width=4mm] (E) -- (F0);
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   335
  \draw [->,line width=4mm] (F1) -- (F);   
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   336
  \node [above right] at (F.north west) {2012?};}   
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   337
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   338
  \onslide<7->{
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   339
  \node (G) at (-0.9,-6.3)  [node]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   340
     {\mbox{\includegraphics[scale=0.02]{../pics/applepro.jpg}}};
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   341
  \draw [->,line width=4mm] (F) -- (G);
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   342
  \node [right] at (G.west) {\hspace{22mm}2017};}   
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   343
  
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   344
  \end{tikzpicture}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   345
  \end{center}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   346
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   347
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   348
  \only<1>{%  
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   349
    \begin{textblock}{10}(2.5,5)  
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   350
      \includegraphics[scale=0.26]{../pics/cplus1.jpg}\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   351
      \footnotesize 64K RAM, no HD, no monitor, lots of cables
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   352
    \end{textblock}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   353
    \begin{textblock}{6}(10.9,4.5)  
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   354
      \includegraphics[scale=0.09]{../pics/mand1.png}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   355
      \includegraphics[scale=0.09]{../pics/mand2.png}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   356
    \end{textblock}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   357
    \begin{textblock}{6}(10.8,2.2)  
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   358
    \huge\bf 3 days
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   359
    \end{textblock}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   360
  }
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   361
  \only<8->{%
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   362
  \begin{textblock}{8}(5.8,11.6)  
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   363
    \large\bf
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   364
    \begin{tabular}{l@{}l}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   365
      1986:\, & no Internet\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   366
            & no Amazon\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   367
            & no FB, no mobiles,\ldots\\ 
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   368
    \end{tabular}         
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   369
    \end{textblock}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   370
  }
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   371
  \only<9>{
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   372
  \begin{textblock}{1}(3,3)
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   373
    \begin{bubble}[9cm]  
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   374
      \begin{tabular}{@{\hspace{8mm}}llll@{\hspace{8mm}}}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   375
        \\
200
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   376
      \multicolumn{4}{c}{\alert{\bf Speedup by Moore's Law}}\medskip\\
137
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   377
      \textbf{1986:} & 3 days    & \textbf{1996:} & 135 mins\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   378
      \textbf{1988:} & 1.5 days  & \textbf{1998:} & 67 mins\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   379
      \textbf{1990:} & 18 hs     & \textbf{2000:} & 33 mins\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   380
      \textbf{1992:} & 9 hs      & \textbf{2002:} & 16 mins\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   381
      \textbf{1994:} & 4.5 hs    & \multicolumn{2}{c}{???}\\                    
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   382
      \\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   383
      \end{tabular}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   384
      \small Every two years, computers got twice as powerful.
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   385
  \end{bubble}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   386
  \end{textblock}}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   387
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   388
\end{frame}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   389
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   390
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   391
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   392
\begin{frame}[c]
200
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   393
\frametitle{Seq \;vs\; Par}
137
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   394
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   395
\begin{center}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   396
  \begin{tabular}[t]{@{}l@{}l@{}}
200
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   397
    \includegraphics[scale=0.14]{../pics/mand4.png} & \hspace{4mm}
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   398
    \raisebox{0mm}{\includegraphics[scale=0.14]{../pics/mand3.png}}\\
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   399
    \hspace{6mm}\includegraphics[scale=0.5]{../pics/cpu2.png} &
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   400
    \hspace{11mm}\includegraphics[scale=0.5]{../pics/cpu1.png}
137
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   401
  \end{tabular}     
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   402
\end{center}  
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   403
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   404
\only<2>{
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   405
  \begin{textblock}{5}(12,2)
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   406
    \begin{bubble}[2.1cm]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   407
      \footnotesize{}in Java or C++\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   408
      \includegraphics[scale=0.50]{../pics/skeleton.jpg}\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   409
    \end{bubble}  
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   410
  \end{textblock}}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   411
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   412
\only<3>{
200
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   413
  \begin{textblock}{14.2}(1,13.5)
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   414
    In FP: Once a variable is created, it is assigned a value and then
308
e86add5a6961 updated
Christian Urban <urbanc@in.tum.de>
parents: 278
diff changeset
   415
    never changed again $\Rightarrow$ no synchronisation needed\smallskip\\
200
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   416
    %%\small\textcolor{gray}{(Andrew's second favourite feature of C++)}
137
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   417
  \end{textblock}}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   418
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   419
\end{frame}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   420
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   421
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   422
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   423
32
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   424
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   425
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   426
\begin{frame}[c]
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   427
\frametitle{Types}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   428
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   429
\begin{itemize}
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   430
\item Base types\smallskip
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   431
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   432
  \begin{tabular}{@{}l@{}}
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   433
    \textcolor{codegreen}{\texttt{Int}},
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   434
    \textcolor{codegreen}{\texttt{Long}},
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   435
    \textcolor{codegreen}{\texttt{BigInt}},
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   436
    \textcolor{codegreen}{\texttt{Float}},
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   437
    \textcolor{codegreen}{\texttt{Double}}\\
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   438
    \textcolor{codegreen}{\texttt{String}},
25
6253f4681451 updated
Christian Urban <urbanc@in.tum.de>
parents: 23
diff changeset
   439
    \textcolor{codegreen}{\texttt{Char}}\\
6253f4681451 updated
Christian Urban <urbanc@in.tum.de>
parents: 23
diff changeset
   440
    \textcolor{codegreen}{\texttt{Boolean}}
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   441
  \end{tabular}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   442
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   443
\item Compound types \smallskip   
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   444
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   445
  \begin{tabular}{@{}ll@{}}
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   446
    \textcolor{codegreen}{\texttt{List[Int]}}     & lists of Int's \\
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   447
    \textcolor{codegreen}{\texttt{Set[Double]}}   & sets of Double's \\
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   448
    \textcolor{codegreen}{\texttt{(Int, String)}} & Int-String pair\\
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   449
    \textcolor{codegreen}{\texttt{List[(BigInt, String)]}} &
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   450
                                      lists of BigInt-String\\
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   451
                                      & pairs\\
200
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   452
    \textcolor{codegreen}{\texttt{List[List[Int]]}} & list of lists of Int's\\      \textcolor{codegreen}{\texttt{Option[Int]}}     & options of Int's \\                            
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   453
  \end{tabular}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   454
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   455
\end{itemize}  
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   456
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   457
\end{frame}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   458
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   459
32
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   460
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
200
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   461
%\begin{frame}[c]
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   462
%\frametitle{An Http Request}
32
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   463
  
200
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   464
%\begin{textblock}{1}(2,5)
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   465
%\begin{tabular}{c}
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   466
%\includegraphics[scale=0.15]{../pics/servers.png}\\[-2mm]
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   467
%\small Server
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   468
%\end{tabular}
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   469
%\end{textblock}
32
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   470
200
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   471
%\begin{textblock}{1}(5.6,4)
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   472
%  \begin{tikzpicture}[scale=1.1]
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   473
%  \draw[white] (0,1) node (X) {};
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   474
%  \draw[white] (2,1) node (Y) {};
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   475
%   \draw[white] (0,0) node (X1) {};
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   476
%  \draw[white] (2,0) node (Y1) {};
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   477
%   \draw[white] (0,-1) node (X2) {};
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   478
%  \draw[white] (2,-1) node (Y2) {};
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   479
%  \draw[red, <-, line width = 2mm] (X) -- (Y);
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   480
%  \node [inner sep=5pt,label=above:\textcolor{black}{GET request}] at ($ (X)!.5!(Y) $) {};
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   481
%  \draw[red, ->, line width = 2mm] (X1) -- (Y1);
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   482
%  \node [inner sep=5pt,label=above:\textcolor{black}{webpage}] at ($ (X1)!.5!(Y1) $) {};
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   483
%  \draw[red, <-, line width = 2mm] (X2) -- (Y2);
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   484
%  \node [inner sep=7pt,label=above:\textcolor{black}{POST data}] at ($ (X2)!.5!(Y2) $) {};
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   485
%  \end{tikzpicture}
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   486
%\end{textblock}
32
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   487
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   488
200
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   489
%\begin{textblock}{1}(9,5.5)
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   490
%\begin{tabular}{c}
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   491
%\includegraphics[scale=0.15]{../pics/laptop.png}\\[-2mm]
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   492
%\small Browser
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   493
%\end{tabular}
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   494
%\end{textblock}
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   495
%\end{frame}
32
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   496
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   497
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   498
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
200
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   499
%\begin{frame}[c]
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   500
%
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   501
%{\lstset{language=Java}\fontsize{7}{8}\selectfont
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   502
%\texttt{\lstinputlisting{URLReader.java}}}
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   503
%
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   504
%\end{frame}
32
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   505
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   506
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   507
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   508
\begin{frame}[c]
309
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   509
  \frametitle{Coursework Dates}
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   510
  
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   511
Similar to C++:\bigskip
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   512
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   513
\begin{itemize}
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   514
  \item Preliminary Parts: Wednesdays 4pm
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   515
    \begin{itemize}
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   516
      \item Preliminary Part 6: 3\% (13 November)
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   517
      \item Preliminary Part 7: 4\% (20 November)
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   518
      \item Preliminary Part 8: 4\% (27 November)
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   519
      \item Preliminary Part 9: 4\% (5 December) 
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   520
    \end{itemize}\medskip    
314
21b52310bd8b updated
Christian Urban <urbanc@in.tum.de>
parents: 309
diff changeset
   521
  \item Core Part: 35\% (15 January 2020)\bigskip 
309
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   522
\end{itemize}
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   523
\end{frame}
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   524
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   525
  
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   526
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   527
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   528
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   529
\begin{frame}[c]
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   530
\frametitle{Coursework}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   531
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   532
\begin{itemize}
200
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   533
\item Sorry, I might have been a bit wordy:\\
308
e86add5a6961 updated
Christian Urban <urbanc@in.tum.de>
parents: 278
diff changeset
   534
  Part 6 of CW description is 7 pages, but
e86add5a6961 updated
Christian Urban <urbanc@in.tum.de>
parents: 278
diff changeset
   535
  I only needed \mbox{< 100} loc for \emph{all} Part 6.\bigskip
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   536
308
e86add5a6961 updated
Christian Urban <urbanc@in.tum.de>
parents: 278
diff changeset
   537
\item there is feedback when pushing code to github\medskip
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   538
309
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   539
\item there are \texttt{jar}-files you can use to test 
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   540
  my reference implementation\bigskip
200
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   541
  
309
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   542
\item we want you to learn FP!\smallskip\\ \alert{\bf no vars}, no mutable
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   543
  data-structures\\ \quad{}e.g.~no \texttt{Arrays}, no \texttt{ListBuffer}
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   544
\end{itemize}
309
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   545
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   546
\LEFTarrow{1}{11}{11.8}
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   547
\end{frame}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   548
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   549
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   550
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   551
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   552
\begin{frame}[c, fragile]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   553
\frametitle{The Joy of Immutability}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   554
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   555
\begin{itemize}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   556
\item If you need to manipulate some data in a list say, then you make
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   557
  a new list with the updated values, rather than revise the original
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   558
  list. Easy!\medskip
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   559
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   560
  {\small
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   561
  \begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-1mm]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   562
    val old_list = List(1, 2, 3, 5)
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   563
    val new_list = 0 :: old_list
308
e86add5a6961 updated
Christian Urban <urbanc@in.tum.de>
parents: 278
diff changeset
   564
                // -> List(0, 1, 2, 3, 4, 5)
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   565
  \end{lstlisting}}  
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   566
  
200
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   567
\item You do not have to be defensive about who can access the data.
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   568
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   569
\item You can look at your code in isolation.  
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   570
\end{itemize}  
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   571
\end{frame}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   572
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   573
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   574
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   575
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   576
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   577
\begin{frame}[t]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   578
\frametitle{Email: Hate 'val'}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   579
308
e86add5a6961 updated
Christian Urban <urbanc@in.tum.de>
parents: 278
diff changeset
   580
\mbox{}\\[-23mm]\mbox{}
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   581
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   582
\begin{center}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   583
  \begin{bubble}[10.5cm]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   584
  Subject: \textbf{Hate '\textbf{\texttt{val}}'}\hfill 01:00 AM\medskip\\
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   585
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   586
  Hello Mr Urban,\medskip\\
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   587
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   588
  I just wanted to ask, how are we suppose to work
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   589
  with the completely useless \textbf{\texttt{val}}, that can’t be changed ever? Why is
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   590
  this rule active at all? I’ve spent 4 hours not thinking on the
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   591
  coursework, but how to bypass this annoying rule. What’s the whole
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   592
  point of all these coursework, when we can’t use everything Scala
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   593
  gives us?!?\medskip\\
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   594
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   595
  Regards.\\
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   596
  \mbox{}\hspace{5mm}\textcolor{black!50}{<<deleted>>}\\
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   597
  \end{bubble}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   598
\end{center}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   599
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   600
\end{frame}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   601
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   602
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   603
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   604
\begin{frame}[c]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   605
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   606
\mbox{}\\[-25mm]\mbox{}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   607
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   608
\begin{center}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   609
  \begin{bubble}[10.5cm]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   610
  Subject: \textbf{Re: Hate '\textbf{\texttt{val}}'}\hfill 01:02 AM\bigskip\bigskip\\
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   611
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   612
  \textcolor{black!70}{
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   613
    \textit{\large<<my usual rant about fp\ldots\\ concurrency bla bla\ldots{} better programs
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   614
    yada>>}}\bigskip\bigskip\bigskip
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   615
  
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   616
  PS: What are you trying to do where you desperately want to use \texttt{var}?
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   617
  \end{bubble}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   618
\end{center}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   619
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   620
\end{frame}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   621
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   622
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   623
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   624
\begin{frame}[c,fragile]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   625
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   626
\begin{textblock}{6}(0.5,0.5)
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   627
\begin{bubble}[11.5cm]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   628
  \small  
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   629
  Subject: \textbf{Re: Re: Hate '\textbf{\texttt{val}}'}\hfill 01:04 AM\medskip\\
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   630
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   631
  \textbf{Right now my is\_legal function works fine:}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   632
  
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   633
\footnotesize\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-1mm]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   634
 def is_legal(dim: Int, path: Path)(x: Pos): Boolean = {
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   635
   var boolReturn = false
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   636
   if(x._1 > dim || x._2 > dim || x._1 < 0 || x._2 < 0) {
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   637
   else { var breakLoop = false
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   638
          if(path == Nil) { boolReturn = true }
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   639
          else { for(i <- 0 until path.length) {
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   640
                    if(breakLoop == false) {
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   641
                      if(path(i) == x) {
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   642
                        boolReturn = true
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   643
                        breakLoop = true
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   644
                      }
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   645
                      else { boolReturn = false }
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   646
                    } else breakLoop
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   647
            }
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   648
          }
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   649
          boolReturn
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   650
   }
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   651
\end{lstlisting}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   652
\end{bubble}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   653
\end{textblock}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   654
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   655
\begin{textblock}{6}(8.2,11.8)
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   656
\begin{bubble}[5.5cm]\footnotesize\bf
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   657
\ldots{}but I can’t make it work with boolReturn being val. What approach would
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   658
you recommend in this case, and is using var in this case justified?
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   659
\end{bubble}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   660
\end{textblock}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   661
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   662
\only<2>{
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   663
\begin{textblock}{6}(0.3,11.8)
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   664
  \begin{bubble}[3.1cm]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   665
    \textbf{Me:}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   666
    \raisebox{-12mm}{\includegraphics[scale=0.08]{../pics/throwup.jpg}}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   667
  \end{bubble}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   668
\end{textblock}}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   669
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   670
\end{frame}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   671
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   672
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   673
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   674
\begin{frame}[t,fragile]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   675
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   676
\mbox{}\\[-25mm]\mbox{}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   677
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   678
\begin{textblock}{6}(0.5,2)
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   679
  \begin{bubble}[11.5cm]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   680
  Subject: \textbf{Re: Re: Re: Hate '\textbf{\texttt{val}}'}\hfill 01:06 AM\bigskip\\
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   681
  \small
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   682
  
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   683
  OK. So you want to make sure that the \texttt{x}-position is not outside the
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   684
  board....and furthermore you want to make sure that the \texttt{x}-position
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   685
  is not yet in the path list. How about something like\bigskip
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   686
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   687
\footnotesize\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-1mm]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   688
 def is_legal(dim: Int, path: Path)(x: Pos): Boolean = 
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   689
   ...<<some board conditions>>... && !path.contains(x)
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   690
\end{lstlisting}\bigskip
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   691
  
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   692
  \small Does not even contain a \texttt{val}.
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   693
  \end{bubble}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   694
\end{textblock}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   695
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   696
\begin{textblock}{6}(7,12)
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   697
\footnotesize\textcolor{black!50}{(This is all on one line)}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   698
\end{textblock}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   699
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   700
\end{frame}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   701
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   702
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   703
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   704
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   705
\begin{frame}[t,fragile]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   706
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   707
\mbox{}\\[-15mm]\mbox{}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   708
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   709
\begin{textblock}{6}(1,3)
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   710
  \begin{bubble}[10.5cm]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   711
    Subject: \textbf{Re: Re: Re: Re: Hate '\textbf{\texttt{val}}'}\hfill 11:02 AM\bigskip\bigskip\\
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   712
    
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   713
    THANK YOU! You made me change my coding perspective. Because of you,
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   714
    I figured out the next one\ldots
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   715
  \end{bubble}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   716
\end{textblock}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   717
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   718
\only<2>{
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   719
\begin{textblock}{6}(0.3,11.8)
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   720
  \begin{bubble}[3.1cm]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   721
    \textbf{Me:}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   722
    \raisebox{-12mm}{\includegraphics[scale=0.15]{../pics/happy.jpg}}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   723
  \end{bubble}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   724
\end{textblock}}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   725
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   726
\end{frame}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   727
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   728
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   729
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   730
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   731
\begin{frame}[c]
309
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   732
\frametitle{Conclusion for Today}
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   733
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   734
\begin{itemize}
309
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   735
\item Scala is still under development, 2.13.1 came out in Sept.\\ 
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   736
  (the compiler is terribly slow)\medskip
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   737
\item {\bf\url{http://www.scala-lang.org/}}\bigskip
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   738
  
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   739
\item it is a rather \textbf{\alert{deep}} language\ldots i.e.~gives
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   740
  you a lot of rope to shoot yourself\bigskip
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   741
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   742
\item learning functional programming is not easy\ldots{}when you have
200
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   743
  spent all of your career thinking in an imperative way, it is hard to
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   744
  change\bigskip\medskip
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   745
  
200
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   746
\item hope you have fun with Scala and the assignments
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   747
\end{itemize}
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   748
\end{frame}
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   749
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   750
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   751
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   752
\begin{frame}[c]
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   753
\frametitle{\begin{tabular}{c}\\[0cm]\alert{Questions?}\end{tabular}}
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   754
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   755
\begin{center}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   756
  \begin{tabular}[t]{@{}l@{}l@{}}
200
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   757
    \includegraphics[scale=0.1]{../pics/mand4.png} & \hspace{4mm}
01ee4b576eb2 updated
Christian Urban <urbanc@in.tum.de>
parents: 199
diff changeset
   758
    \raisebox{0mm}{\includegraphics[scale=0.1]{../pics/mand3.png}}      
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   759
  \end{tabular}     
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   760
\end{center}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   761
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   762
\begin{center}
308
e86add5a6961 updated
Christian Urban <urbanc@in.tum.de>
parents: 278
diff changeset
   763
  My Office Hours: Thursdays 12 -- 14\\
309
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 308
diff changeset
   764
  And specifically for Scala: Tuesdays 10:45 -- 11:45
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   765
\end{center}
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   766
\end{frame}
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   767
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
314
21b52310bd8b updated
Christian Urban <urbanc@in.tum.de>
parents: 309
diff changeset
   768
21b52310bd8b updated
Christian Urban <urbanc@in.tum.de>
parents: 309
diff changeset
   769
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
21b52310bd8b updated
Christian Urban <urbanc@in.tum.de>
parents: 309
diff changeset
   770
\begin{frame}[t]
21b52310bd8b updated
Christian Urban <urbanc@in.tum.de>
parents: 309
diff changeset
   771
21b52310bd8b updated
Christian Urban <urbanc@in.tum.de>
parents: 309
diff changeset
   772
\begin{center}  
21b52310bd8b updated
Christian Urban <urbanc@in.tum.de>
parents: 309
diff changeset
   773
\includegraphics[scale=0.4]{../pics/blow.png}
21b52310bd8b updated
Christian Urban <urbanc@in.tum.de>
parents: 309
diff changeset
   774
\end{center}
21b52310bd8b updated
Christian Urban <urbanc@in.tum.de>
parents: 309
diff changeset
   775
21b52310bd8b updated
Christian Urban <urbanc@in.tum.de>
parents: 309
diff changeset
   776
\begin{textblock}{14}(2,12.4)
21b52310bd8b updated
Christian Urban <urbanc@in.tum.de>
parents: 309
diff changeset
   777
\Large\bf{}Mind-Blowing\\ Programming Languages: C/C++
21b52310bd8b updated
Christian Urban <urbanc@in.tum.de>
parents: 309
diff changeset
   778
\end{textblock}
21b52310bd8b updated
Christian Urban <urbanc@in.tum.de>
parents: 309
diff changeset
   779
\end{frame}
21b52310bd8b updated
Christian Urban <urbanc@in.tum.de>
parents: 309
diff changeset
   780
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
21b52310bd8b updated
Christian Urban <urbanc@in.tum.de>
parents: 309
diff changeset
   781
  
21b52310bd8b updated
Christian Urban <urbanc@in.tum.de>
parents: 309
diff changeset
   782
32
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   783
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   784
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   785
\end{document}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   786
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   787
%%% Local Variables:  
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   788
%%% mode: latex
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   789
%%% TeX-master: t
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   790
%%% End: 
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   791
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   792
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   793
“Functional programming is often regarded as the best-kept secret of
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   794
scientific modelers, mathematicians, artificial intelligence
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   795
researchers, financial institutions, graphic designers, CPU designers,
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   796
compiler programmers, and telecommunications engineers.”
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   797
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   798
The Wikipedia F# page