460-4144/01 – Praktické funkcionální programování (PFP)

Cílem předmětu je ukázat praktické nasazení čistě funkcionálních programovacích jazyků pro vývoj reálných aplikací. Jako stěžejní projekt bude realizován webový informační systém, kde bude přední část implementována v Elmu a zadní část bude v Haskellu. V rámci projektu budou řešeny i další aspekty jako je použití databáze nebo zpracování různých formátů dat. Kromě vlastních programovacích jazyků a s tím souvisejícího funkcionálního stylu programování budou studenti seznámeni s nástroji a obecně prostředím pro vývoj takto koncipovaných složitějších aplikací. Po absolvování předmětu budou účastnící schopni prakticky aplikovat funkcionální styl programování pro řešení reálných úloh. Budou schopni zhodnotit vhodnost jejich použití a výhody či nevýhody, které to přinese. Detailněji se seznámí s programovacími jazyky Haskell a Elm (oba jsou si syntakticky velmi podobné). Také si osvojí funkcionální styl programování, který může být výhodný i v jiných prostředích než u čistě funkcionálních programovacích jazyků. Většina dneska dominantních technologií podporuje mnoho paradigmat programování a je spíše volbou programátora, jaký styl zvolí pro své řešení. Předmět umožní využít funkcionální styl programování v mnoha ohledech nezávisle na použitém prostředí.

Funkcionální styl programování je dobře zavedený, ale po celá desetiletí se většinou používal jen na univerzitách a obvykle byl považován za pěkným konceptem bez skutečné praktické aplikace. Čistě funkční jazyky, jako je Haskell, se zřídka používaly pro reálné aplikace. Právě teď prochází funkcionální styl programování jakousi renesancí. Je integrován do mnoha nejpopulárnějších multiparadigmatických jazyků jako je Python, Javascript nebo C #. Navíc se objevily a začaly se používat nové čisté funkcionální jazyky jako Scala, F # nebo Clojure. S technologiemi jako JVM (Scala) nebo .NET CLR (F #) je ještě snazší mít projekt integrující různé styly programování. V tomto předmětu se zaměříme na praktické aspekty vývoje aplikací pomocí čistě funkčních programovacích jazyků Haskell a Elm. Jako klíčový projekt vytvoříme webový informační systém, kde bude přední část implementována v Elmu a zadní část bude v Haskellu. Budou propojeny pomocí REST Api. Kromě toho se budeme zabývat dalšími problémy, jako je použití databáze nebo zpracování různých formátů dat. Na tomto projektu bude prokázáno, že tyto funkcionální jazyky jsou vhodné pro vývoj aplikací v reálné praxi. Navíc si ukážeme, že jejich použití má některé klíčové výhody. Kromě samotného programování se také naučíme používat vybranou klíčovou infrastrukturu a nástroje podporující vývoj reálných aplikací.

[3] Thompson S.: The Haskell: The Craft of Functional Programming (3nd ed.). Addison-Wesley Professional, October 2, 2011, ISBN-10: 0201882957.

Nejdůležitějším aspektem hodnocení bude realizace projektu – webový informační systém. Ten bude rozložen do menších částí, každá bude hodnocena zvlášť. Celkově bude tento projekt hodnocen 70 body. Zbylých 30 bodů bude rozděleno za aktivitu na cvičeních.