214 \frametitle{Types}

   215   \frametitle{CW3: Regexes (1 Part)}

   215 

   216   

   216 \begin{itemize}

   217 \begin{center}

   217 \item Base types\smallskip

   218   Graphs: $(a^*)^* b$ and strings $\underbrace{\;a\ldots a\;}_{n}$\bigskip

   218 

   219   

   219   \begin{tabular}{@{}l@{}}

   220 \begin{tabular}[t]{@{\hspace{-8mm}}c@{\hspace{-4mm}}c@{}}

   220     \textcolor{codegreen}{\texttt{Int}},

   221 \raisebox{6mm}{\begin{tikzpicture}

   221     \textcolor{codegreen}{\texttt{Long}},

   222 \begin{axis}[

   222     \textcolor{codegreen}{\texttt{BigInt}},

   223     xlabel={$n$},

   223     \textcolor{codegreen}{\texttt{Float}},

   224     x label style={at={(1.05,0.0)}},

   224     \textcolor{codegreen}{\texttt{Double}}\\

   225     ylabel={time in secs},

   225     \textcolor{codegreen}{\texttt{String}},

   226     enlargelimits=false,

   226     \textcolor{codegreen}{\texttt{Char}}\\

   227     xtick={0,5,...,30},

   227     \textcolor{codegreen}{\texttt{Boolean}}

   228     xmax=33,

   228   \end{tabular}

   229     ymax=35,

   229 

   230     ytick={0,5,...,30},

   230 \item Compound types \smallskip   

   231     scaled ticks=false,

   231 

   232     axis lines=left,

   232   \begin{tabular}{@{}ll@{}}

   233     width=5.5cm,

   233     \textcolor{codegreen}{\texttt{List[Int]}}     & lists of Int's \\

   234     height=5cm, 

   234     \textcolor{codegreen}{\texttt{Set[Double]}}   & sets of Double's \\

   235     legend entries={Python,  Java},  

   235     \textcolor{codegreen}{\texttt{(Int, String)}} & Int-String pair\\

   236     legend pos=north west,

   236     \textcolor{codegreen}{\texttt{List[(BigInt, String)]}} &

   237     legend cell align=left]

   237                                       lists of BigInt-String\\

   238 \addplot[blue,mark=*, mark options={fill=white}] table {re-python2.data};  

   238                                       & pairs\\

   239 \addplot[cyan,mark=*, mark options={fill=white}] table {re-java.data};

   239     \textcolor{codegreen}{\texttt{List[List[Int]]}} & list of lists of Int's\\                                  

   240 \end{axis}

   240   \end{tabular}

   241 \end{tikzpicture}}

   241 

   242   &

   242 \end{itemize}  

   243 \begin{tikzpicture}

   243 

   244   \begin{axis}[

   244 \end{frame}

   245     xlabel={$n$},

   245 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   

   246     x label style={at={(1.05,0.0)}},

   246 

   247     ylabel={time in secs},

   247 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     

   248     enlargelimits=false,

   248 

   249     ymax=35,

   249 \begin{frame}[t]

   250     ytick={0,5,...,30},

   251     axis lines=left,

   252     %%scaled ticks=false,

   253     width=5.5cm, 

   254     height=5cm]

   255 %%\addplot[green,mark=square*,mark options={fill=white}] table {re2a.data};    

   256 \addplot[red,mark=square*,mark options={fill=white}] table {re3a.data};

   257 \end{axis}

   258 \end{tikzpicture}

   259 \end{tabular}

   260 \end{center}

   261 

   262 \hfill\small\url{https://vimeo.com/112065252}

   263 \end{frame}

   264 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     

   265 

   266 \begin{frame}[c]

   258 \item Haskell, Ocaml, Standard ML, Scheme 

   275 \item Haskell, Ocaml, Standard ML, Scheme, \ldots