Seznam přednášek
Základní úvod do funkcionálního programování
1. Úvod do kurzu. Úvod do funkcionálního programování. Úvod do programování v jazyku Haskell (pomocí interpretu GHC).
2. Základní definice funkce. Jak psát jednoduché (rekurzivní) funkce v jazyce Haskell.
3. Základní datové typy a jejich použití.
4. Revize definice funkce: využití techniky pattern matching
5. Seznamy a n-tice - základní notace, jak je používat v programech.
6. Práce se seznamy.
7. Funkcí vyššího řádu. Funkce jako hodnota prvního řádu. Funkce map - fold.
8. Generátory seznamů.
8. Uživatelsky definované datové typy a způsob práce s nimi.
9. Rekurzivní datové typy a polymorfismus, částečně vyhodnocené funkce, základní úvod do typových tříd.
10. Abstraktní datové typy (seznam, fronta, strom).
Pokročilá témata - Úvod do lambda kalkulu, výpočet jako přepisování, líné vyhodnocení, vstup a výstup.
Seznam cvičení (očekává se, že všechna cvičení budou v počítačových učebnách)
1. Interpret GHC - základní použití
2. Implementace základních funkcí pro výpočet např. faktoriálu, sekvence Fibonacciho čísel nebo největšího společného dělitele.
3. Funkce a operátory, které pracují s čísly, řetězci nebo znaky.
4. Implementace složitějších funkcí, které používají techniku pattern matching nebo chráněné výrzy.
5. - 6. Implementace funkcí, které pracují se seznamy jako: length, reverse, (++), zip, zipWith.
7. Použití standardních funkcí pracujících se seznamy jako map, fold, concat atd.
8. Generátory seznamů.
9. Hodnocení prvního projektu.
10. Definice datového typu pro matematické výrazy. Vyhodnocení těchto výrazů.
11. Definice binárního stromu. Implementace funkcí, které pracují s tímto stromem.
12. Implementace abstraktních datových typů - zásobník a fronta.
13. Hodnocení druhého projektu.
Základní úvod do funkcionálního programování
1. Úvod do kurzu. Úvod do funkcionálního programování. Úvod do programování v jazyku Haskell (pomocí interpretu GHC).
2. Základní definice funkce. Jak psát jednoduché (rekurzivní) funkce v jazyce Haskell.
3. Základní datové typy a jejich použití.
4. Revize definice funkce: využití techniky pattern matching
5. Seznamy a n-tice - základní notace, jak je používat v programech.
6. Práce se seznamy.
7. Funkcí vyššího řádu. Funkce jako hodnota prvního řádu. Funkce map - fold.
8. Generátory seznamů.
8. Uživatelsky definované datové typy a způsob práce s nimi.
9. Rekurzivní datové typy a polymorfismus, částečně vyhodnocené funkce, základní úvod do typových tříd.
10. Abstraktní datové typy (seznam, fronta, strom).
Pokročilá témata - Úvod do lambda kalkulu, výpočet jako přepisování, líné vyhodnocení, vstup a výstup.
Seznam cvičení (očekává se, že všechna cvičení budou v počítačových učebnách)
1. Interpret GHC - základní použití
2. Implementace základních funkcí pro výpočet např. faktoriálu, sekvence Fibonacciho čísel nebo největšího společného dělitele.
3. Funkce a operátory, které pracují s čísly, řetězci nebo znaky.
4. Implementace složitějších funkcí, které používají techniku pattern matching nebo chráněné výrzy.
5. - 6. Implementace funkcí, které pracují se seznamy jako: length, reverse, (++), zip, zipWith.
7. Použití standardních funkcí pracujících se seznamy jako map, fold, concat atd.
8. Generátory seznamů.
9. Hodnocení prvního projektu.
10. Definice datového typu pro matematické výrazy. Vyhodnocení těchto výrazů.
11. Definice binárního stromu. Implementace funkcí, které pracují s tímto stromem.
12. Implementace abstraktních datových typů - zásobník a fronta.
13. Hodnocení druhého projektu.