MI-AFP / tutorials

Materials for MI-AFP course tutorials

https://ccmi.fit.cvut.cz/en

Creative Commons Attribution Share Alike 4.0 International

12 stars 2 forks source link

B172 typos, errors, and enhancements #10

Closed MarekSuchanek closed 6 years ago

MarekSuchanek commented 6 years ago

B172 Errata + additions

Mistakes of B172 materials to be fixed

01

[x] Add principles: https://twitter.com/jdegoes/status/974045822424776704?s=09

02

03

04

[x] Last example in ByteString section is missing start with Prelude T B C E> (maybe also imports)
[x] Double colon in the second paragraph of OverloadedStrings
[x] In OverloadedStrings, code from GHCi is with Haskell syntax highlighting (and should not)
[x] Hayoo link is missing (just [Hayoo] is there)

05

[x] Currying, second paragraph "curyying"
[x] mkPolygon switch PSize and NoVertices in type signature
[x] generalSort type change to Ord a => a and fix return array
[x] anonymous functions syntactic sugar and usage
[x] check all examples explaining folds
[x] (><), parametre (#11)
[x] (5 `foo` 3) 12 result (comment bellow by @klememi)

06

07

08

09

10

klememi commented 6 years ago

In tutorial 05, subsection Own operators, in example

Prelude> (+) 5 7
12
Prelude> 7 `div` 2
3
Prelude> foo x y z = x * (y + z)
Prelude> (5 `foo` 3) 12
65

last result is wrong (should be 75).

also, in example below

Prelude> (><) xs ys = reverse xs ++ reverse ys
Prelude> (><) "abc" "xyz"
"zyxcba"
Prelude> "abc" >< "xyz"
"zyxcba"
Prelude> :info (><)
(><) :: [a] -> [a] -> [a]

zyxcba is wrong (should be cbazyx)