JIRIBENES.COM

Cvičení z Neprocedurálního programování

V letním semestru 2020/2021 vedu cvičení z předmětu Neprocedurální programování [NPRG005] každý čtvrtek od 9:00 (v SU2 dá-li situace, jinak online).

Počítejte s možností, že se cvičení při lepší situaci může přepnout do prezenční formy!

Na dálková cvičení budeme používat Zoom, odkaz dostanete emailem na adresu, kterou máte nastavenou v SISu týden před začátkem semestru. Pokud odkaz nemáte, napište mi email!

Máte-li nějaký dotaz, či chcete-li si domluvit konzultaci, napište mi prosím email na adresu jiribenes+neproc@kam.mff.cuni.cz.

Podmínky zápočtu

Na získání zápočtu je potřeba:

• zápočtový program
• alespoň 100 bodů z úkolů, alespoň 50 bodů z každého jazyku (Prolog, Haskell)

Pozor, že na zkoušku je doporučeno mít hotový zápočet, tedy je vhodné mít všechno vyřešené včas!

Zápočtový program

Součástí požadavků na zápočet je i vytvoření zápočtového programu.

Není potřeba, aby byl program přehnaně obsáhlý – stačí ukázat, že chápete logické/funkcionální programování a dokážete jej vhodně aplikovat. Stačí řádově sto řádků hezkého a efektivního kódu.

Prolog je obzvláště vhodný na umělou inteligenci a řešení hlavolamů. Haskell je vhodný hlavně na parsery, formátovače, překladače, interpretery, programy zpracovající data a tak podobně. Dá se v něm ale naprogramovat skoro vše kromě low-level programů.

Má oblíbená témata souvisí s programovacími jazyky — parsery, malé homemade programovací jazyky, type checkery, statické analyzátory (prográmky, které řeknou něco chytrého o kódu), interpretery, maličkaté virtuální stroje a tak podobně. Sepsal jsem seznam zajímavých témat pro inspiraci zde.

Deadliny

• Téma zápočťáku musí být odesláno emailem do neděle 16. 5. 23:59:59.
• Hotový zápočťák musí být odevzdán emailem do neděle 20. 6. 23:59:59.

Individuálně se dá domluvit posunutí deadlinu, ale pouze před tím, než na daný deadline doopravdy dojde! Varuji ale, že může dojít k udělení zápočtu třeba i s dvou- až tří-týdenním zpožděním!

Domácí úkoly

Na konci zhruba každého druhého cvičení bude zadán domácí úkol. Bude možné získat aspoň 160 bodů za domácí úkoly celkem a aspoň 80 bodů z každého jazyku celkem. Každý úkol lze řešit dva týdny od cvičení, na kterém byl úkol zadán.

Řešení domácích úkolů mi posílejte emailem na adresu jiribenes+neproc@kam.mff.cuni.cz.

K prvnímu úkolu mi napište i přezdívku (zapsatelnou Unicodem), abych mohl na stránce zveřejnit počet získaných bodů.

Bonusové body

Za aktivitu a bonusové úkoly půjdou získat bonusové body, které se přičítají k bodům z úkolů.

Co se dělalo na cvičení

• 1. cvičení (4. 3.) – Prolog jako databáze faktů, prohledávání do hloubky
• 2. cvičení (11. 3.) – Složené termy, unifikace, seznamy, zadán 1. úkol
• 3. cvičení (18. 3.) – Procvičování seznamů v Prologu, akumulátory, aritmetika
• 4. cvičení (25. 3.) – Řezy všech druhů, třídění, higher-order funkce, zadán 2. úkol
• 5. cvičení (1. 4.) – Rozdílové seznamy, stromy, DFS a iterativní prohlubování
• 6. cvičení (8. 4.) – DCG pro JSON a aritmetické výrazy, lambda kalkul, zadán 3. úkol
• 7. cvičení (15. 4.) – Úvod do Haskellu, částečná aplikace, úvod do typů
• 8. cvičení (22. 4.) – Algebraické datové typy, seznamy, parametrické typy, zadán 4. úkol
• 9. cvičení (29. 4.) – Líné vyhodnocování, nekonečné seznamy, foldy
• 10. cvičení (6. 5.) – Další foldy, Maybe, typové třídy Eq, Show, Num, zadán 5. úkol
• 11. cvičení (13. 5.) – Typové třídy Semigroup, Monoid a Functor, druhy
• 12. cvičení (20. 5. - 22. 5.) – Monády, do-notace, stavové výpočty, zadán 6. úkol
• 13. cvičení (27. 5.) – IO monáda, monadický parser, o víkendu byl zadán 7. úkol
• 14. cvičení (3. 6.) – Curry-Howardova korespondence, opakování

Tabulka s body

Užitečné odkazy

• Prolog
  • SWI-Prolog je nejpoužívanější Prologové prostředí s použitelným IDEčkem
  • Learn Prolog Now je hezká kniha bohatě pokrývající celý Prolog
  • A Practo-Theoretical Introduction to Logic Programming je hezký článek porovnávající Prolog a SQL
  • 99 Prologových problémů s řešeními mohou sloužit jako dobrá cvičení, pokud si chcete Prolog pocvičit sami
  • Style guide pro Prolog, abyste věděli, jak kód formátovat a jak psát komentáře
• Haskell
  • GHCup je nejjednodušší způsob jak si nainstalovat Haskell lokálně
  • Hoogle je úžasný vyhledávač funkcí dle jejich názvů a typů
  • Haskell Language Server je takové IDE pro Haskell – hezky to funguje s Vimem, či s Visual Studio Code
  • Learn You A Haskell for Great Good je hezká, barvená kniha popisující základy Haskellu
  • Real World Haskell je starší kniha o tom, jak se Haskell reálně používá
  • Záznamy z kurzu Haskellu od prof. Huttona jsou velmi kvalitním úvodem do funkcionálního programování
    • Záznamy z pokročilého kurzu Haskellu od prof. Huttona jsou pokračování výše uvedeného zaměřené na monády a další pokročilejší featury jazyka
  • Navazující předmět Programování v Haskellu má hezké slajdy s detailnějšími informacemi o Haskellu
• Jiná cvičení:
  • Martin Pilát
  • Vít Šefl
  • Václav Končický
• Obecné:
  • Lambdulus je hezké prostředí pro hrátky s lambda kalkulem
  • Na cvičení používáme editor Icing, který je napsaný v Haskellu
  • Jak nastavit Zoom Virtual Background, abyste vypadali cool při cvičení ;)
  • Exercism.io je platforma, kde můžete řešit praktičtější úkoly v různých jazycích (podporují právě i Haskell) s tím, že vám nějaký mentor váš kód zkritizuje