slides/slides01.tex
author Christian Urban <urbanc@in.tum.de>
Fri, 10 Nov 2017 09:00:46 +0000
changeset 142 6f4d8b5e6d80
parent 141 822adb464c90
child 174 90e0b1cc460b
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
\documentclass[dvipsnames,14pt,t,xelatex]{beamer}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
\usepackage{../slides}
32
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
     3
\usepackage{../graphics}
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
\usepackage{../langs}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
%\usepackage{../data}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
\hfuzz=220pt 
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
%\setmonofont[Scale=.88]{Consolas}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
%\newfontfamily{\consolas}{Consolas}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
\lstset{language=Scala,
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
        style=mystyle,
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
        numbersep=0pt,
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
        numbers=none,
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
        xleftmargin=0mm}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18
\newcommand{\bl}[1]{\textcolor{blue}{#1}}     
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    20
% beamer stuff 
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    21
\renewcommand{\slidecaption}{PEP (Scala) 01, King's College London}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    23
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    24
\begin{document}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    25
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    26
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    27
\begin{frame}[t]
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    28
\frametitle{%
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    29
  \begin{tabular}{@ {}c@ {}}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    30
  \\[5mm]
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    31
  \huge PEP Scala (1) 
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    32
  \end{tabular}}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    33
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    34
  \normalsize
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    35
  \begin{center}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    36
  \begin{tabular}{ll}
137
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
    37
    Email:  & christian.urban at kcl.ac.uk\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
    38
    Office: & N7.07 (North Wing, Bush House)\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
    39
    Slides \& Code: & KEATS\medskip\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
    40
    Scala Office & \\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
    41
    Hours: &  Thursdays 11 -- 13\\
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    42
  \end{tabular}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    43
  \end{center}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    44
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    45
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    46
\end{frame}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    47
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    48
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    49
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    50
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    51
\begin{frame}[c]
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    52
\frametitle{Why Scala?}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    53
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    54
\begin{textblock}{6}(3,4)
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    55
\begin{tabular}{l}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    56
\mbox{}\hspace{-1mm}\includegraphics[scale=0.36]{../pics/twitter.png}\\[-1mm]
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    57
\includegraphics[scale=0.30]{../pics/linked.png}\\
141
822adb464c90 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    58
\includegraphics[scale=0.30]{../pics/guardian.jpg}\\[-3mm]
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    59
\mbox{}\hspace{-2mm}\includegraphics[scale=0.38]{../pics/morgan.png}\\[-3mm]
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    60
\includegraphics[scale=0.30]{../pics/suisse.png}\\
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    61
{\large\bf ...}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    62
\end{tabular}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    63
\end{textblock}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    64
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    65
\begin{textblock}{6}(9,4)
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    66
\begin{tabular}{l}
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    67
\includegraphics[scale=0.20]{../pics/edf.png}\\[-1mm]
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    68
\includegraphics[scale=0.08]{../pics/novell.png}\\[-1mm]
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    69
\includegraphics[scale=0.30]{../pics/foursquare.png}\\
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    70
\includegraphics[scale=0.30]{../pics/hsbc.png}\\
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    71
{\large\bf ...}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    72
\end{tabular}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    73
\end{textblock}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    74
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    75
\end{frame}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    76
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    77
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    78
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    79
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    80
\begin{frame}[c]
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    81
\frametitle{Why Scala?}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    82
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    83
\begin{itemize}
34
40424bbe109e updated
Christian Urban <urbanc@in.tum.de>
parents: 33
diff changeset
    84
\item compiles to the JVM\\
40424bbe109e updated
Christian Urban <urbanc@in.tum.de>
parents: 33
diff changeset
    85
  \textcolor{gray}{(also JavaScript, native X86 in the works)}\medskip
32
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
    86
\item integrates seamlessly with Java\medskip
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
    87
\item combines \underline{\bf functional} and {\bf object-oriented} programming\bigskip
34
40424bbe109e updated
Christian Urban <urbanc@in.tum.de>
parents: 33
diff changeset
    88
\item it is a bit on the ``mathematical'' side\\
40424bbe109e updated
Christian Urban <urbanc@in.tum.de>
parents: 33
diff changeset
    89
  \textcolor{gray}{(no pointers, no \texttt{null})}
40424bbe109e updated
Christian Urban <urbanc@in.tum.de>
parents: 33
diff changeset
    90
  
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
    91
\item often one can write very concise and elegant code
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
    92
\end{itemize}\bigskip\medskip  
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
    93
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
    94
\small
137
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
    95
alternatives:\\
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
    96
Elm, Haskell, Ocaml, F$\sharp$, Erlang, ML, Lisp (Racket), \ldots
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    97
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    98
\end{frame}
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    99
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   100
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   101
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   102
\begin{frame}[c]
32
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   103
\frametitle{Java vs Scala}
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   104
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   105
{\lstset{language=java}\fontsize{12}{12}\selectfont
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   106
\texttt{\lstinputlisting{Point.java}}}
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   107
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   108
\rule{11cm}{0.3mm}\\[-2mm]
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   109
32
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   110
{\lstset{language=scala}\fontsize{12}{12}\selectfont
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   111
\texttt{\lstinputlisting{Point.scala}}}
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   112
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   113
\begin{textblock}{6}(13,3)
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   114
\textbf{\large Java}
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   115
\end{textblock}
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   116
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   117
\begin{textblock}{6}(13,13.4)
32
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   118
\textbf{\large Scala}
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   119
\end{textblock}  
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   120
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   121
\end{frame}
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   122
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   123
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   124
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   125
\begin{frame}[c]
137
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   126
\frametitle{First Steps: Scala Tools}
32
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   127
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   128
\begin{itemize}
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   129
\item there is a plugin for Eclipse (called Scala IDE)\medskip
137
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   130
\item there is also a plugin for IntelliJ\medskip
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   131
\item there is a worksheet mode in Eclipse and IntelliJ\bigskip
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   132
\item I use Sublime or venerable Emacs ;o)
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   133
\end{itemize}  
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   134
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   135
\end{frame}
137
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   136
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   137
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   138
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   139
\begin{frame}[c]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   140
  \frametitle{\bf
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   141
  \only<1>{\begin{tabular}{l}\\[2mm]Why Scala?\\ \mbox{}\end{tabular}}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   142
  \only<2->{\begin{tabular}{l}\\[2mm]Why Functional\\ Programming?\end{tabular}}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   143
}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   144
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   145
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   146
  %
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   147
  \mbox{}\\[3.5cm]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   148
  \small
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   149
Scala, Elm, Haskell, Ocaml, F$\sharp$, Erlang, ML, Lisp (Racket), \ldots 
137
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   150
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   151
\only<3>{
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   152
\begin{textblock}{6}(2,6.2)
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   153
\begin{bubble}[10cm]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   154
\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
   155
  languages tomorrow, then take a look at functional programming
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   156
  languages today.''\medskip\small\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   157
  \hfill{}---Simon Peyton Jones (works at Microsoft)\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   158
  \hfill{}main developer of the Glasgow Haskell Compiler
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   159
\end{bubble}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   160
\end{textblock}}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   161
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   162
\end{frame}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   163
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   164
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   165
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   166
\begin{frame}[c]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   167
\mbox{}\\[-21mm]\mbox{}  
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   168
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   169
\begin{center}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   170
  \begin{tikzpicture}[scale=1,
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   171
                      node/.style={
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   172
                      rectangle,rounded corners=3mm,
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   173
                      very thick,draw=black!50,
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   174
                      minimum height=18mm, minimum width=20mm,
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   175
                      top color=white,bottom color=black!20}]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   176
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   177
  \onslide<1-10>{                
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   178
  \node (A) at (0,0) [node]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   179
     {\mbox{\includegraphics[scale=0.15]{../pics/cplus2.jpg}}};
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   180
  \node [above right] at (A.north west) {1986};}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   181
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   182
  \onslide<2->{
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   183
  \node (B) at (3.5,0) [node]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   184
     {\mbox{\includegraphics[scale=0.15]{../pics/robotron.jpg}}};
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   185
  \node [above right] at (B.north west) {1988, C};
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   186
  \draw [->,line width=4mm] (A) -- (B);}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   187
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   188
  \onslide<3->{
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   189
  \node (C0) at (6.3,0) {};
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   190
  \node (C) at (8,0)  [node]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   191
     {\mbox{\includegraphics[scale=0.15]{../pics/sun.jpg}}};
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   192
  \node [above right] at (C.north west) {1992, {\small Linux}};
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   193
  \draw [->,line width=4mm] (B) -- (C0);
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   194
  \draw [->,line width=4mm] (C0) -- (C);}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   195
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   196
  \onslide<4->{
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   197
  \node (D) at (8,-3.3)  [node]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   198
     {\mbox{\includegraphics[scale=0.2]{../pics/gateway.jpg}}};
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   199
  \draw [->,line width=4mm] (C) -- (D);
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   200
  \node [below right] at (D.south west) {1996};}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   201
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   202
  \onslide<5->{
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   203
  \node (E) at (4,-3.3)  [node]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   204
     {\mbox{\includegraphics[scale=0.1]{../pics/appleg4.jpg}}};
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   205
  \draw [->,line width=4mm] (D) -- (E);
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   206
  \node [above right] at (E.north west) {2000};}   
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   207
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   208
  \onslide<6->{
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   209
  \node (F0) at (1.5,-3.3) {};
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   210
  \node (F1) at (1,-3.3) {};
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   211
  \node (F) at (-0.9,-3.3)  [node]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   212
     {\mbox{\includegraphics[scale=0.3]{../pics/appleair.png}}};
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   213
  \draw [->,line width=4mm] (E) -- (F0);
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   214
  \draw [->,line width=4mm] (F1) -- (F);   
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   215
  \node [above right] at (F.north west) {2012?};}   
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   216
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   217
  \onslide<7->{
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   218
  \node (G) at (-0.9,-6.3)  [node]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   219
     {\mbox{\includegraphics[scale=0.02]{../pics/applepro.jpg}}};
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   220
  \draw [->,line width=4mm] (F) -- (G);
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   221
  \node [right] at (G.west) {\hspace{22mm}2017};}   
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   222
  
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   223
  \end{tikzpicture}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   224
  \end{center}
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
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   227
  \only<1>{%  
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   228
    \begin{textblock}{10}(2.5,5)  
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   229
      \includegraphics[scale=0.26]{../pics/cplus1.jpg}\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   230
      \footnotesize 64K RAM, no HD, no monitor, lots of cables
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   231
    \end{textblock}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   232
    \begin{textblock}{6}(10.9,4.5)  
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   233
      \includegraphics[scale=0.09]{../pics/mand1.png}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   234
      \includegraphics[scale=0.09]{../pics/mand2.png}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   235
    \end{textblock}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   236
    \begin{textblock}{6}(10.8,2.2)  
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   237
    \huge\bf 3 days
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   238
    \end{textblock}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   239
  }
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   240
  \only<8->{%
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   241
  \begin{textblock}{8}(5.8,11.6)  
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   242
    \large\bf
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   243
    \begin{tabular}{l@{}l}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   244
      1986:\, & no Internet\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   245
            & no Amazon\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   246
            & no FB, no mobiles,\ldots\\ 
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   247
    \end{tabular}         
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   248
    \end{textblock}
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
  \only<9>{
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   251
  \begin{textblock}{1}(3,3)
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   252
    \begin{bubble}[9cm]  
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   253
      \begin{tabular}{@{\hspace{8mm}}llll@{\hspace{8mm}}}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   254
        \\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   255
      \multicolumn{4}{c}{\bf Speedup by Moore's Law}\medskip\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   256
      \textbf{1986:} & 3 days    & \textbf{1996:} & 135 mins\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   257
      \textbf{1988:} & 1.5 days  & \textbf{1998:} & 67 mins\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   258
      \textbf{1990:} & 18 hs     & \textbf{2000:} & 33 mins\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   259
      \textbf{1992:} & 9 hs      & \textbf{2002:} & 16 mins\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   260
      \textbf{1994:} & 4.5 hs    & \multicolumn{2}{c}{???}\\                    
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   261
      \\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   262
      \end{tabular}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   263
      \small Every two years, computers got twice as powerful.
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   264
  \end{bubble}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   265
  \end{textblock}}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   266
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   267
\end{frame}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   268
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   269
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   270
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   271
\begin{frame}[c]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   272
\frametitle{Seq vs Par}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   273
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   274
\begin{center}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   275
  \begin{tabular}[t]{@{}l@{}l@{}}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   276
    \includegraphics[scale=0.14]{../pics/mand4.png} &
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   277
    \raisebox{1.2mm}{\includegraphics[scale=0.14]{../pics/mand3.png}}      
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   278
  \end{tabular}     
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   279
\end{center}  
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   280
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   281
\only<2>{
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   282
  \begin{textblock}{5}(12,2)
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   283
    \begin{bubble}[2.1cm]
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   284
      \footnotesize{}in Java or C++\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   285
      \includegraphics[scale=0.50]{../pics/skeleton.jpg}\\
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   286
    \end{bubble}  
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   287
  \end{textblock}}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   288
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   289
\only<3>{
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   290
  \begin{textblock}{14.2}(1,12.3)
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   291
    In FP: Once a variable is created, it is assigned a value and then
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   292
    never changed again $\Rightarrow$ no synchronisation\smallskip\\
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   293
    \small\textcolor{gray}{(Andrew's second favourite feature of C++)}
137
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   294
  \end{textblock}}
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   295
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   296
\end{frame}
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
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   299
53c769a78a1e updated
Christian Urban <urbanc@in.tum.de>
parents: 123
diff changeset
   300
32
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   301
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   302
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   303
\begin{frame}[c]
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   304
\frametitle{Types}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   305
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   306
\begin{itemize}
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   307
\item Base types\smallskip
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   308
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   309
  \begin{tabular}{@{}l@{}}
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   310
    \textcolor{codegreen}{\texttt{Int}},
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   311
    \textcolor{codegreen}{\texttt{Long}},
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   312
    \textcolor{codegreen}{\texttt{BigInt}},
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   313
    \textcolor{codegreen}{\texttt{Float}},
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   314
    \textcolor{codegreen}{\texttt{Double}}\\
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   315
    \textcolor{codegreen}{\texttt{String}},
25
6253f4681451 updated
Christian Urban <urbanc@in.tum.de>
parents: 23
diff changeset
   316
    \textcolor{codegreen}{\texttt{Char}}\\
6253f4681451 updated
Christian Urban <urbanc@in.tum.de>
parents: 23
diff changeset
   317
    \textcolor{codegreen}{\texttt{Boolean}}
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   318
  \end{tabular}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   319
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   320
\item Compound types \smallskip   
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   321
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   322
  \begin{tabular}{@{}ll@{}}
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   323
    \textcolor{codegreen}{\texttt{List[Int]}}     & lists of Int's \\
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   324
    \textcolor{codegreen}{\texttt{Set[Double]}}   & sets of Double's \\
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   325
    \textcolor{codegreen}{\texttt{(Int, String)}} & Int-String pair\\
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   326
    \textcolor{codegreen}{\texttt{List[(BigInt, String)]}} &
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   327
                                      lists of BigInt-String\\
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   328
                                      & pairs\\
26
a7afc2540a88 updated
Christian Urban <urbanc@in.tum.de>
parents: 25
diff changeset
   329
    \textcolor{codegreen}{\texttt{List[List[Int]]}} & list of lists of Int's\\                                  
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   330
  \end{tabular}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   331
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   332
\end{itemize}  
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   333
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   334
\end{frame}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   335
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   336
32
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   337
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   338
\begin{frame}[c]
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   339
\frametitle{An Http Request}
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   340
  
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   341
\begin{textblock}{1}(2,5)
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   342
\begin{tabular}{c}
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   343
\includegraphics[scale=0.15]{../pics/servers.png}\\[-2mm]
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   344
\small Server
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   345
\end{tabular}
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   346
\end{textblock}
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   347
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   348
\begin{textblock}{1}(5.6,4)
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   349
  \begin{tikzpicture}[scale=1.1]
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   350
  \draw[white] (0,1) node (X) {};
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   351
  \draw[white] (2,1) node (Y) {};
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   352
   \draw[white] (0,0) node (X1) {};
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   353
  \draw[white] (2,0) node (Y1) {};
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   354
   \draw[white] (0,-1) node (X2) {};
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   355
  \draw[white] (2,-1) node (Y2) {};
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   356
  \draw[red, <-, line width = 2mm] (X) -- (Y);
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   357
  \node [inner sep=5pt,label=above:\textcolor{black}{GET request}] at ($ (X)!.5!(Y) $) {};
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   358
  \draw[red, ->, line width = 2mm] (X1) -- (Y1);
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   359
  \node [inner sep=5pt,label=above:\textcolor{black}{webpage}] at ($ (X1)!.5!(Y1) $) {};
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   360
  \draw[red, <-, line width = 2mm] (X2) -- (Y2);
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   361
  \node [inner sep=7pt,label=above:\textcolor{black}{POST data}] at ($ (X2)!.5!(Y2) $) {};
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   362
  \end{tikzpicture}
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   363
\end{textblock}
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   364
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   365
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   366
\begin{textblock}{1}(9,5.5)
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   367
\begin{tabular}{c}
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   368
\includegraphics[scale=0.15]{../pics/laptop.png}\\[-2mm]
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   369
\small Browser
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   370
\end{tabular}
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   371
\end{textblock}
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   372
\end{frame}
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   373
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   374
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   375
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   376
\begin{frame}[c]
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   377
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   378
{\lstset{language=Java}\fontsize{7}{8}\selectfont
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   379
\texttt{\lstinputlisting{URLReader.java}}}
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   380
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   381
\end{frame}
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   382
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   383
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   384
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   385
\begin{frame}[c]
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   386
\frametitle{Coursework}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   387
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   388
\begin{itemize}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   389
\item sorry, I might have been a bit wordy:\\
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   390
  CW description is 7 pages, but
142
6f4d8b5e6d80 updated
Christian Urban <urbanc@in.tum.de>
parents: 141
diff changeset
   391
  I only needed \mbox{< 150} loc for all the CW\bigskip
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   392
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   393
\item there is email feedback when pushing code to github\bigskip
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   394
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   395
\item we want you to learn FP: \alert{no vars}, no mutable
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   396
  datastructures, e.g.~\texttt{ListBuffer}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   397
\end{itemize}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   398
\end{frame}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   399
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   400
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   401
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   402
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   403
\begin{frame}[c, fragile]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   404
\frametitle{The Joy of Immutability}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   405
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   406
\begin{itemize}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   407
\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
   408
  a new list with the updated values, rather than revise the original
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   409
  list. Easy!\medskip
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   410
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   411
  {\small
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   412
  \begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-1mm]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   413
    val old_list = List(1, 2, 3, 5)
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   414
    val new_list = 0 :: old_list
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   415
  \end{lstlisting}}  
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   416
  
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   417
\item You do not have to be defensive about who can access the data
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   418
  (concurrency, lazyness).
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   419
\end{itemize}  
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   420
\end{frame}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   421
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   422
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   423
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   424
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   425
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   426
\begin{frame}[t]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   427
\frametitle{Email: Hate 'val'}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   428
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   429
\mbox{}\\[-25mm]\mbox{}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   430
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   431
\begin{center}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   432
  \begin{bubble}[10.5cm]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   433
  Subject: \textbf{Hate '\textbf{\texttt{val}}'}\hfill 01:00 AM\medskip\\
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   434
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   435
  Hello Mr Urban,\medskip\\
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   436
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   437
  I just wanted to ask, how are we suppose to work
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   438
  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
   439
  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
   440
  coursework, but how to bypass this annoying rule. What’s the whole
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   441
  point of all these coursework, when we can’t use everything Scala
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   442
  gives us?!?\medskip\\
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   443
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   444
  Regards.\\
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   445
  \mbox{}\hspace{5mm}\textcolor{black!50}{<<deleted>>}\\
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   446
  \end{bubble}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   447
\end{center}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   448
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   449
\end{frame}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   450
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   451
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   452
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   453
\begin{frame}[c]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   454
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   455
\mbox{}\\[-25mm]\mbox{}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   456
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   457
\begin{center}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   458
  \begin{bubble}[10.5cm]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   459
  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
   460
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   461
  \textcolor{black!70}{
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   462
    \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
   463
    yada>>}}\bigskip\bigskip\bigskip
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   464
  
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   465
  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
   466
  \end{bubble}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   467
\end{center}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   468
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   469
\end{frame}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   470
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   471
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   472
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   473
\begin{frame}[c,fragile]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   474
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   475
\begin{textblock}{6}(0.5,0.5)
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   476
\begin{bubble}[11.5cm]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   477
  \small  
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   478
  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
   479
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   480
  \textbf{Right now my is\_legal function works fine:}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   481
  
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   482
\footnotesize\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-1mm]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   483
 def is_legal(dim: Int, path: Path)(x: Pos): Boolean = {
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   484
   var boolReturn = false
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   485
   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
   486
   else { var breakLoop = false
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   487
          if(path == Nil) { boolReturn = true }
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   488
          else { for(i <- 0 until path.length) {
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   489
                    if(breakLoop == false) {
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   490
                      if(path(i) == x) {
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   491
                        boolReturn = true
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   492
                        breakLoop = true
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   493
                      }
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   494
                      else { boolReturn = false }
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   495
                    } else breakLoop
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   496
            }
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   497
          }
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   498
          boolReturn
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   499
   }
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   500
\end{lstlisting}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   501
\end{bubble}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   502
\end{textblock}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   503
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   504
\begin{textblock}{6}(8.2,11.8)
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   505
\begin{bubble}[5.5cm]\footnotesize\bf
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   506
\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
   507
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
   508
\end{bubble}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   509
\end{textblock}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   510
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   511
\only<2>{
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   512
\begin{textblock}{6}(0.3,11.8)
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   513
  \begin{bubble}[3.1cm]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   514
    \textbf{Me:}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   515
    \raisebox{-12mm}{\includegraphics[scale=0.08]{../pics/throwup.jpg}}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   516
  \end{bubble}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   517
\end{textblock}}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   518
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   519
\end{frame}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   520
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   521
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   522
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   523
\begin{frame}[t,fragile]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   524
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   525
\mbox{}\\[-25mm]\mbox{}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   526
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   527
\begin{textblock}{6}(0.5,2)
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   528
  \begin{bubble}[11.5cm]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   529
  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
   530
  \small
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
  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
   533
  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
   534
  is not yet in the path list. How about something like\bigskip
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   535
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   536
\footnotesize\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-1mm]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   537
 def is_legal(dim: Int, path: Path)(x: Pos): Boolean = 
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   538
   ...<<some board conditions>>... && !path.contains(x)
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   539
\end{lstlisting}\bigskip
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   540
  
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   541
  \small Does not even contain a \texttt{val}.
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   542
  \end{bubble}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   543
\end{textblock}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   544
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   545
\begin{textblock}{6}(7,12)
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   546
\footnotesize\textcolor{black!50}{(This is all on one line)}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   547
\end{textblock}
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
\end{frame}
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
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   553
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   554
\begin{frame}[t,fragile]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   555
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   556
\mbox{}\\[-15mm]\mbox{}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   557
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   558
\begin{textblock}{6}(1,3)
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   559
  \begin{bubble}[10.5cm]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   560
    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
   561
    
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   562
    THANK YOU! You made me change my coding perspective. Because of you,
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   563
    I figured out the next one\ldots
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   564
  \end{bubble}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   565
\end{textblock}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   566
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   567
\only<2>{
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   568
\begin{textblock}{6}(0.3,11.8)
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   569
  \begin{bubble}[3.1cm]
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   570
    \textbf{Me:}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   571
    \raisebox{-12mm}{\includegraphics[scale=0.15]{../pics/happy.jpg}}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   572
  \end{bubble}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   573
\end{textblock}}
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
\end{frame}
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
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   578
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   579
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   580
\begin{frame}[c]
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   581
\frametitle{Conclusion}
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   582
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   583
\begin{itemize}
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   584
\item Scala is still under heavy development\\ (the compiler is terribly slow)\medskip
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   585
\item {\bf\url{http://www.scala-lang.org/}}\bigskip
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   586
  
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   587
\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
   588
  you a lot of rope to shoot yourself\bigskip
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   589
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   590
\item learning functional programming is not easy\ldots{}when you have
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   591
  spent all of your career thinking in a procedural way it is hard to
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   592
  change\bigskip\medskip
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   593
  
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   594
\item hope you have fun with the coursework  
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   595
\end{itemize}
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   596
\end{frame}
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   597
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   598
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   599
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   600
\begin{frame}[c]
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   601
\frametitle{\begin{tabular}{c}\\[0cm]\alert{Questions?}\end{tabular}}
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   602
140
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   603
\begin{center}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   604
  \begin{tabular}[t]{@{}l@{}l@{}}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   605
    \includegraphics[scale=0.1]{../pics/mand4.png} &
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   606
    \raisebox{1.2mm}{\includegraphics[scale=0.1]{../pics/mand3.png}}      
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   607
  \end{tabular}     
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   608
\end{center}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   609
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   610
\begin{center}
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   611
My Scala Office Hours: Thursdays 11 -- 13
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   612
\end{center}
33
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   613
\end{frame}
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   614
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
b6cb302633eb updated
Christian Urban <urbanc@in.tum.de>
parents: 32
diff changeset
   615
\end{document}
32
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   616
45557ad18ea6 updated
Christian Urban <urbanc@in.tum.de>
parents: 26
diff changeset
   617
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   618
\end{document}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   619
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   620
%%% Local Variables:  
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   621
%%% mode: latex
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   622
%%% TeX-master: t
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   623
%%% End: 
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   624
140
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
“Functional programming is often regarded as the best-kept secret of
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   627
scientific modelers, mathematicians, artificial intelligence
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   628
researchers, financial institutions, graphic designers, CPU designers,
ecec79b9ab25 updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   629
compiler programmers, and telecommunications engineers.”
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
The Wikipedia F# page