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 (#11)
• (5 `foo` 3) 12 result (comment bellow by @klememi)

06

07

08

09

10

EDUX is dead (sadly) and for this we should use course pages: https://courses.fit.cvut.cz/MI-AFP/

Both in tutorial #5.

1. (><) swaps arguments in the result

https://github.com/MI-AFP/tutorials/blob/master/tutorials/05_functions-typeclasses.md#own-operators

Prelude> (><) xs ys = reverse xs ++ reverse ys
Prelude> (><) "abc" "xyz"
"zyxcba"

but the correct result should be
cbazyx

2. parametre -> parameter

in multiple places

There's an example of function composition in tutorial 01:

isntTriangle = not . isTriangle

However, this won't compile with the isTriangle function from the previous example.

Tutorials 6 - 12 should be improved, some can be merged and substituted by Elm (#23) as another way of functional programming - frontend oriented. It may require also a change in tutorials 3, 4, and 5.

Plan

• Tutorial 1 - just go through and update
• Tutorial 2 - just go through and update
• Tutorial 3 - text types (as evaluation is already there)
• Tutorial 4 - more information about advanced function
• Tutorial 5 - basic typeclasses and also start of IO monad, error handling
• Tutorial 6 - also performance, profiling and debugging
• Tutorial 7 - advanced typeclasses and transformers
• Tutorial 8 - webapp
• Tutorials 9, 10, 11 - Elm #23 (12 can be partly Elm - "follow ups and interesting FP stuff")

Our system Edux is dead now and we can use AsciiDoc-based https://courses.fit.cvut.cz/MI-AFP that serve content from local Gitlab.

• Come up with new solution how to show content from here in course pages using automatized way
• Get rid of Edux deployment scripts in this repository

In the tutorial 02_functions-types.md

factorial n = fac' n 1 
            where fac' 0 acc = acc
                  fac' x acc = fac' (x - 1) (x * acc) 

1. factorial 3
2. fac' 3 1
3. fac' 2 3
4. fac' 1 6
5. fac' 1 6
6. 6

step 5. should be fac' 0 6 if I got it right.

We need to change homeworks for next semester. If the tutorial is as last year, just change it (same principles, different tasks). If there is change in tutorial (mainly in the second half of semester #25 and #23), create totally new task in the repository.

• HW01
• HW02
• HW03
• HW04
• HW05
• HW06
• HW07
• HW08
• HW09
• HW10

Hi,
the Haskforce domain you are referencing from the first tutorial has expired.
Perhaps you can change it to their github repo?
https://github.com/MI-AFP/tutorials/blob/master/tutorials/01_fp-env.md

• Refactor tutorial about frontend
• Create Elm-only tutorials (three?) with some homeworks