B172 typos, errors, and enhancements

[MarekSuchanek]

B172 Errata + additions

Mistakes of B172 materials to be fixed

01

• Add principles: https://twitter.com/jdegoes/status/974045822424776704?s=09

02

03

04

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

05

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

06

07

08

09

10

[klememi]

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)