Browse Source

Improve currying slides further

Julian Ospald 4 years ago
parent
commit
a8f9458649
No account linked to committer's email address
2 changed files with 8 additions and 3 deletions
  1. 8
    2
      VL2/content/VL2_currying5.1.tex
  2. 0
    1
      VL2/content/VL2_currying6.tex

+ 8
- 2
VL2/content/VL2_currying5.1.tex View File

@@ -6,5 +6,11 @@ f x y z = x + y + z
6 6
 -- ...for this
7 7
 f = \x -> (\y -> (\z -> x + y + z)) -- right-associative
8 8
 \end{haskellcode}
9
-
10
-\ifger{Frage: was passiert, wenn wir nur $x = 3$ übergeben?}{Question: what happens if we just pass $x = 3$?}
9
+\ifger{Frage: was passiert, wenn wir nur $x = 3$ übergeben?}{Question: what happens if we just pass $x = 3$?}
10
+\vspace{\baselineskip}
11
+\\
12
+\pause
13
+\ifger{Wieso nicht das?}{Why not this?}
14
+\begin{haskellcode}
15
+f = \x -> x + (\y -> y + (\z -> z)) -- no!
16
+\end{haskellcode}

+ 0
- 1
VL2/content/VL2_currying6.tex View File

@@ -8,8 +8,6 @@ addInt = \x -> (\y -> x + y)
8 8
 
9 9
 addTwo :: Int -> Int
10 10
 addTwo = addInt 2
11
-addTwo = \y -> addInt 2 y
12 11
 \end{haskellcode}
13 12
 \ifger{Wir haben \hinline{addInt} ein Argument übergeben, also ist die Arität (im Beispiel vorher Dimension) einer weniger und damit ist noch ein Argument notwendig um den endgültigen Wert zu bekommen.
14 13
 \vspace{\baselineskip}\\