hasufell
/
haskell-lectures
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add negative example

This commit is contained in:
Julian Ospald 2015-04-21 00:24:24 +02:00
parent 44c4c9e601
commit 717c1b370f
No known key found for this signature in database
GPG Key ID: 220CD1C5BDEED020
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
VL2/content/VL2_currying5.tex
View File

@ -12,5 +12,8 @@ Did you just notice the braces? They are \textbf{very} important! So, currying i
\begin{haskellcode} \begin{haskellcode}
f :: Int -> Int -> Int f :: Int -> Int -> Int
f :: Int -> (Int -> Int) f :: Int -> (Int -> Int)
-- but this is NOT the same
f :: (Int -> Int) -> Int
\end{haskellcode} \end{haskellcode}
On the other hand function application is \emph{left}-associative, so \hinline{f 3 2} is just a shorthand of \hinline{(f 3) 2}. Makes sense? On the other hand function application is \emph{left}-associative, so \hinline{f 3 2} is just a shorthand of \hinline{(f 3) 2}. Makes sense?