JPP2021

Lab 1a (01.03)

• 1. Strony:

     1. codewars.com

     2. excercism.io

     3. hackerrank.com

  2. Bardzo dobra książka: Learn You a Haskell for Great Good!

  3. Wyszukiwanie funkcji: Hoogle (hoogle.haskell.org)

  4. Pliki na dzisiaj można znaleźć tu: Lab1a

  5. Odpalamy plik HelloWorld.hs w ghci

  6. Przechodzimy razem przez plik Intro.hs

  7. Samodzielnie uzupełniamy luki w Intro.hs

  8. Robimy proste zadania i zadania z Moodla Lab0 -- testy można znaleźć w pliku Tests.hs.

Lab 1b (03.03)

1. Pliki na dzisiaj można znaleźć tu: Lab1b

2. Razem przechodzimy przez plik FoldsAndComprehensions.hs

3. Robimy samodzielnia zadania z Moodla -- Lab0 (rozwiązania w MoodleSolutions.hs).

4. Robimy samodzielnie zadania z Folds.hs (rozwiązania w FoldsSolved.hs).

Lab 2a (08.03)

1. Pliki na dzisiaj można znaleźć tu: Lab2a

2. Razem: Przechodzimy przez plik DataStructures.hs

3. Samodzielnie: Robimy zadania 1, 2, 3 (pierwsze wystąpienie), 4 (drugie wystąpienie) . Zadania 3 (drugie wystąpienie), 7, 8 zrobimy w środę (rozwiązania w Solutions.hs).

4. Samodzielnie: Robimy zadania na Sety i Mapy z DataStructures.hs (rozwiązania w DataStructuresSolved.hs).

5. Można zrobić: Zadanie o kolejce z DataStructures.hs

6. Można zrobić: Zadania o funktorach z Functors.hs (rozwiązania w FunctorsSolved.hs)

Lab 2b (10.03)

1. Pliki na dzisiaj można znaleźć tu: Lab2b

2. Ćwiczymy rekurencję ogonową i leniwość

3. Razem: przechodzimy przez pliki TailRecAndLazyness.hs oraz Main.hs

4. Samodzielnie: ćwieczenia z Main.hs, ćwiczenia z TailRecAndLazyness.hs

5. Można zrobić: Functional streams z codewars.com

6. Rozwiązania w pliku Solutions.hs

Lab 3a (15.03)

1. Pliki na dzisiaj: Lab3a

2. Ćwiczymy moduły i instancje: Przechodzimy razem przez pliki OrderedList.hs, ModuleTest.hs, BST.hs, Expressions.hs

3. Do samodzielnego dokończenia są pliki OrderedList.hs, BST.hs, Expressions.hs. (Zadania 1-3 z moodla).

4. Jak ktoś skończy może robić zadania 4 i 6. Zadanie 5 zrobimy w przyszłym tygodniu.

5. Dla chętnych: Rozdział o Funktorach, Applicative i Monoidach z Learn You a Haskell

6. Pojawiło się zadanie domowe z Haskella

Lab 3b (17.03)

1. Pliki na dzisiaj: Lab3b

2. Ćwiczymy monadę IO.

3. Razem przechodzimy przez pliki:

   1. HelloWorld.hs

   2. HelloYou.hs

   3. NameTag.hs

   4. ReverseForever.hs

   5. BottlesOfBeer.hs

   6. FavouriteColours.hs

4. Można zapoznać się z funkcjami: print, sequence, forM, forM_, forever, when.

5. Napisać program, który odpyta użytkownika z tabliczki mnożenia.

   1. Podstawowa wersja powinna wyglądać jak tu: mnozenie.txt (tu może przydać się funkcja readMaybe z Text.Read)

   2. Można dodać wypisywanie na koniec liczby zdobytych punktów. (Podpowiedź: nie trzeba do tego używać IO zmiennych).

   3. Można dodać pytanie "do skutku" -- komputer będzie pytał się o podpowiedź tak długo jak nie dostanie poprawnej odpowiedzi (tutaj pomocna może być funkcja whileM, czytając jej typ trzeba zamieniać m na IO)

   4. Dla chętnych: można urozmaicić program używając losowości.

6. O plikach, losowości i innych możliwościach IO można poczytać w Learn You a Haskell: Input and Output.

Lab 4a (22.03)

1. Dzisiaj ćwiczymy monady Maybe i Either.

2. Przechodzimy razem przez pliki: MaybeEitherDemo.hs, FoldM.hs.

3. Do zrobienia samodzielnie są zadania z: ManyOperations.hs oraz MonadicOperations.hs

4. Jak ktoś skończy, można zabrać się za zadania z Moodla: Lab Monady 1

5. Można przeczytać: pierwszy rozdział o monadach z Learn You a Haskell

Lab 4b (24.03)

1. Dzisiaj ćwiczymy monadę State (pliki w Lab4b)

2. Razem przechodzimy przez plik StateDemo.hs

3. Do zrobienia samodzielnie:

   1. Inorder, preorder

   2. Instancja Monad dla myState2

   3. Zadanie The most imperative functional language?

4. Można przeczytać fragment z Learn You a Haskell o monadzie State (rozdział For a few monads more).

Lab 5a (29.03)

1. Dzisiaj ćwiczymy monadę Reader i piszemy pierwszy interpreter (pliki w Lab5a)

2. Razem przechodzimy przez ReaderDemo.hs

3. Robimy szybkie omówienie do zadań z zeszłego tygodnia.

4. Omawiamy typy z pliku Interpreter1OnlyTypes.hs

5. Robimy zadania 2b i 3b z Moodla (ale jeszcze nie 3c)

6. Robimy zadania z pliku Operations.hs

7. Można przeczytać fragment z Learn You a Haskell o monadzie Reader.

8. Pojawiło się zadanie o interpreterze. Sesja Q&A odbędzie się w środę, więcej informacji na Moodlu.

Lab 6b (07.04)

1. Dzisiaj ćwiczymy transformatory monad (pliki w Lab6b)

2. Przechodzimy razem przez TransformersDemo.hs

3. Samodzielnie robimy zadanie w SmallInterpreter.hs (w trzech wariantach).

4. Można przeczytać wpis o transformatorach monad (zwłaszcza warto zapoznać się z ExceptT -- eleganckiej wersji EitherT).

Lab 7a (12.04)

1. Dzisiaj ćwiczymy parsery. Pliki w Lab7a.

2. Zaczynamy od BNFC (w szczególności: krótszy i dłuższy tutorial).

3. Zadanie na dzisiaj to stworzenie gramatyki i podpięcie jej do interpretera z zeszłego tygodnia -- Lab5a lub Lab6b. (Mogą się trochę nie zgadzać typy tworzone przez BNFC, trzeba będzie napisać prosty konwerter).

4. Przy pracy BNFC

   1. bnfc -m -haskell (-p prefiks) <nazwa_pliku>

   2. Typy abstrakcyjne pojawiają się w katalogu ...Abs.hs.

   3. Parser: pExp (myLexer s)

Lab 7b (04.04)

• 1. Kontynuujemy parsery. Pliki w Lab7b.

  2. Dzisiaj zajmujemy się modułem Parsec (Text.Parsec, Text.ParsecChar, Text.ParsecToken)

  3. Wspólnie przechodzimy przez pliki ParsecSimple.hs i SimplParser.hs.

  4. Piszemy parser dla języka z labów 5a lub 6b.

  5. Dla chętnych: tutorial z parseca na Real World Haskell

  6. (trudniejsze) Dla chętnych: Zadanie z codewars: Writing applicative parsers from scratch

Lab 8a (19.04)

1. Ćwiczymy typowanie. Pliki w Lab8a.

2. Na początku przechodzimy razem przez TypeChecker.hs (rozwiązanie w TypeCheckerDone.hs)

   1. Typujemy rachunek lambda z anotacjami: (\x:int -> f:(int -> int) ->f x)

   2. Typy to funkcje i inty

3. Do zrobienia samemu jest zadanie TypeCheckerString.hs (tym razem mamy dwa typy Int i String i przeciążone operatory + i *)

4. Dla chętnych: TypeChecker (bez Stringów) tylko, że bez anotacji (\x -> \f -> f x), trzeba samemu domyślać się typów (tu przydazą się zmienne typowe i unfikacja).

5. Dla chętnych: j. w tylko, że z polimorficznym let (szczegóły na Moodlu).

6. Bonus: testowanie w Haskellu. Plik SolutionsSpec.hs

   1. Pełną listę oczekiwań (jak shouldBe albo shouldThrow) można znaleźć w Test.Hspec.Expectations

   2. Hint: Monadę IO można testować używając shouldReturn i capture

Lab 8b (21.04)

1. Dzisiaj mamy ostatnie zajęcia z Haskella.

2. Przeglądamy razem grę snake: https://github.com/ravst/HGE2D

3. Do zrobienia samemu jest jakaś modyfikacja tej gry:

   1. Przechodzenie przez ściany

   2. Wyświetlanie wyniku (techniczna modyfikacja)

   3. Rosnąca szybkość

   4. ...

4. Można też napisać własną grę