diff --git a/VL2.tex b/VL2.tex index 07414d9..cd31f07 100644 --- a/VL2.tex +++ b/VL2.tex @@ -319,6 +319,16 @@ uncurry :: (a -> b -> c) -> (a, b) -> c \end{haskellcode} \end{frame} +\begin{frame}[fragile] +\frametitle{4. Currying (ctn.)} +So... now that we know what currying is, let's summarize: +\begin{itemize}[<+->] +\item all functions in haskell have only one argument (strictly speaking) +\item if a function seems to have multiple arguments... currying is used behind the scenes to evaluate it +\item currying also allows us to do partial function application (which is important for function composition) +\end{itemize} +\end{frame} + \section{5. Function composition} \begin{frame}[fragile]