slides/slides01.tex
author Christian Urban <urbanc@in.tum.de>
Wed, 09 Nov 2016 15:07:23 +0000
changeset 25 6253f4681451
parent 23 8ac886bb0c15
child 26 a7afc2540a88
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}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
%\usepackage{../graphics}
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}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    37
  Email:  & christian.urban at kcl.ac.uk\\
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    38
  Office: & S1.27 (1st floor Strand Building)\\
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    39
  Slides \& Code: & KEATS
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    40
  \end{tabular}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    41
  \end{center}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    42
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    43
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    44
\end{frame}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    45
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    46
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
\begin{frame}[c]
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    50
\frametitle{Why Scala?}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    51
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    52
\begin{textblock}{6}(3,4)
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    53
\begin{tabular}{l}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    54
\mbox{}\hspace{-1mm}\includegraphics[scale=0.36]{../pics/twitter.png}\\[-1mm]
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    55
\includegraphics[scale=0.30]{../pics/linked.png}\\
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    56
\includegraphics[scale=0.30]{../pics/guardian.jpg}\\[-3mm]
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    57
\mbox{}\hspace{-2mm}\includegraphics[scale=0.38]{../pics/morgan.png}\\[-3mm]
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    58
\includegraphics[scale=0.30]{../pics/suisse.png}\\
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    59
{\large\bf ...}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    60
\end{tabular}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    61
\end{textblock}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    62
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    63
\begin{textblock}{6}(9,4)
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    64
\begin{tabular}{l}
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    65
\includegraphics[scale=0.20]{../pics/edf.png}\\[-1mm]
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    66
\includegraphics[scale=0.08]{../pics/novell.png}\\[-1mm]
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    67
\includegraphics[scale=0.30]{../pics/foursquare.png}\\
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    68
\includegraphics[scale=0.30]{../pics/hsbc.png}\\
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    69
{\large\bf ...}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    70
\end{tabular}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    71
\end{textblock}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    72
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    73
\end{frame}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    74
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    75
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    76
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    77
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    78
\begin{frame}[c]
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    79
\frametitle{Why Scala?}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    80
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    81
\begin{itemize}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    82
\item bla
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    83
\end{itemize}  
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    84
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    85
\end{frame}
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    86
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    87
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    88
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    89
\begin{frame}[c]
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    90
\frametitle{Types}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    91
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    92
\begin{itemize}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    93
\item Base types
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    94
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    95
  \begin{center}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    96
  \begin{tabular}{l}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    97
    \textcolor{codegreen}{\texttt{Int}},
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    98
    \textcolor{codegreen}{\texttt{Long}},
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
    99
    \textcolor{codegreen}{\texttt{BigInt}},
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   100
    \textcolor{codegreen}{\texttt{Float}},
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   101
    \textcolor{codegreen}{\texttt{Double}}\\
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   102
    \textcolor{codegreen}{\texttt{String}},
25
6253f4681451 updated
Christian Urban <urbanc@in.tum.de>
parents: 23
diff changeset
   103
    \textcolor{codegreen}{\texttt{Char}}\\
6253f4681451 updated
Christian Urban <urbanc@in.tum.de>
parents: 23
diff changeset
   104
    \textcolor{codegreen}{\texttt{Boolean}}
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   105
  \end{tabular}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   106
  \end{center}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   107
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   108
\item Compound types    
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   109
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   110
  \begin{center}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   111
  \begin{tabular}{ll}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   112
    \textcolor{codegreen}{\texttt{List[Int]}}     & lists of Int's \\
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   113
    \textcolor{codegreen}{\texttt{Set[Double]}}   & sets of Double's \\
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   114
    \textcolor{codegreen}{\texttt{(Int, String)}} & Int-String pair\\
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   115
    \textcolor{codegreen}{\texttt{List[(BigInt, String)]}} &
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   116
                                      lists of BigInt-String\\
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   117
                                      & pairs\\
25
6253f4681451 updated
Christian Urban <urbanc@in.tum.de>
parents: 23
diff changeset
   118
    \textcolor{codegreen}{\texttt{List[List[Int]]}} & list of lists\\                                  
23
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   119
  \end{tabular}
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   120
  \end{center}
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
\end{itemize}  
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   123
8ac886bb0c15 updated
Christian Urban <urbanc@in.tum.de>
parents: 22
diff changeset
   124
\end{frame}
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
22
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   127
\end{document}
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   128
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   129
%%% Local Variables:  
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   130
%%% mode: latex
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   131
%%% TeX-master: t
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   132
%%% End: 
9830203b058d updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   133