Changeset 14

Legend:

Unmodified

Added

Removed

• docs/trunk/200711-tock-seminars/200711-tock-slides.tex

  r13	r14
  362	362	\end{frame}
  363	363
  364	\begin{frame}(削除) (削除ここまで)
  364	\begin{frame}(追記) [fragile] (追記ここまで)
  365	365	\frametitle{Problems with generics}
  366	366	\begin{itemize}
  …	…
  368	368	\item In particular, higher-order types are awkward to work with
  369	369	\begin{itemize}
  370	\item e.g. \lstinline(削除) #Rep a = One a | Many [Rep a]# (削除ここまで)
  370	\item e.g. \lstinline(追記) $Rep a = One a | Many [Rep a]$ (追記ここまで)
  371	371	\end{itemize}
  372	372	\item Problem -- we haven't found a good workaround!
  …	…
  593	593	\end{frame}
  594	594
  595	\begin{frame}(削除) (削除ここまで)
  595	\begin{frame}(追記) [fragile] (追記ここまで)
  596	596	\frametitle{Building a pattern}
  597	\begin{itemize}
  598	\item TODO: Give a diagram showing how a Haskell structure translates into a Pattern
  599	%FIXME: picture
  600	\end{itemize}
  597	\includegraphics[width=100mm]{Tock-Pattern.png}
  598	\end{frame}
  599
  600	\begin{frame}[fragile]
  601	\frametitle{Building a pattern}
  602	\includegraphics[width=100mm]{Tock-Pattern-Alt.png}
  601	603	\end{frame}
  602	604
  …	…
  794	796	\section{Parsing}
  795	797
  796	\begin{frame}(削除) (削除ここまで)
  798	\begin{frame}(追記) [fragile] (追記ここまで)
  797	799	\frametitle{Parsec}
  798	800	\begin{itemize}
  …	…
  802	804	\item Productions are monadic operations that return the thing they parsed
  803	805	\begin{itemize}
  804	\item \lstinline(削除) #reserved :: String -> Parser String# (削除ここまで)
  806	\item \lstinline(追記) |reserved :: String -> Parser String| (追記ここまで)
  805	807	\end{itemize}
  806	808	\item Operators combine productions into bigger productions
  807	809	\begin{itemize}
  808	\item \lstinline(削除) #<|> :: Parser a -> Parser a -> Parser a# (削除ここまで) -- choice
  810	\item \lstinline(追記) $<|> :: Parser a -> Parser a -> Parser a$ (追記ここまで) -- choice
  809	811	\end{itemize}
  810	812	\end{itemize}

Note: See TracChangeset for help on using the changeset viewer.