From 410b9f252f665f1af6ceb2b39d5c625109dcb009 Mon Sep 17 00:00:00 2001 From: Julian Ospald Date: Sun, 19 Apr 2015 18:42:58 +0200 Subject: [PATCH] Improve currying slides --- VL2.tex | 10 ++++++++++ 1 file changed, 10 insertions(+) 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]