diff --git a/VL2/content/VL2_questions_for_you.tex b/VL2/content/VL2_questions_for_you.tex index 17830b0..b490fe2 100644 --- a/VL2/content/VL2_questions_for_you.tex +++ b/VL2/content/VL2_questions_for_you.tex @@ -3,7 +3,17 @@ \item what is the difference between \hinline{foldr} and \hinline{foldl}? \item what is the difference between explicit and implicit recursion? Give examples \item how many arguments does a haskell function have (strictly speaking)? +\item Are these type signatures technically equivalent? +\begin{haskellcode} +f :: Int -> Int -> Char -> Int -> Int -> Char +f :: Int -> Int -> (Char -> (Int -> (Int -> Char))) +\end{haskellcode} +% $ \item what do you have to keep in mind in order to make function composition work? \item can you define \hinline{map} and \hinline{filter} in terms of \hinline{foldr}? -\item what is eta reduction (or: eta abstraction)? +\item simplify (and eta reduce) the following code snippet +\begin{haskellcode} +f x y = (\d e -> d * e) x $ y +\end{haskellcode} +% $ \end{itemize} \ No newline at end of file