Programming in Haskell - NPRG068

• Title: Programování v Haskellu
• Guaranteed by: Department of Software Engineering (32-KSI)
• Faculty: Faculty of Mathematics and Physics
• Actual: from 2022
• Semester: winter
• E-Credits: 3
• Hours per week, examination: winter s.:2/0, Ex [HT]
• Capacity: unlimited
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: not taught
• Language: Czech
• Teaching methods: full-time
• Teaching methods: full-time
• Additional information: http://www.ksi.mff.cuni.cz/~kratochvil/haskell/
• Guarantor: RNDr. Miroslav Kratochvíl, Ph.D.
• Class: Informatika Bc.
• Classification: Informatics > Informatics, Software Applications, Computer Graphics and Geometry, Database Systems, Didactics of Informatics, Discrete Mathematics, External Subjects, General Subjects, Computer and Formal Linguistics, Optimalization, Programming, Software Engineering, Theoretical Computer Science

Annotation

English

Last update: RNDr. Michal Kopecký, Ph.D. (04.06.2018)

Programming in Haskell aimed at practical problem solving -- run-time system, standard library, useful tools.

Czech

Last update: RNDr. Michal Kopecký, Ph.D. (04.06.2018)

Programování v Haskellu zaměřené na řešení praktických problémů -- run-time systém, standardní knihovna, užitečné nástroje.

Aim of the course

English

Last update: RNDr. Michal Kopecký, Ph.D. (04.06.2018)

The main goal is to develop the introduction to Haskell from the Non-procedural programming course, and learn to create useful and practical software in Haskell. The course covers several most popular libraries and some efficient solutions to complicated problems that exploit functional programming.

Czech

Last update: RNDr. Michal Kopecký, Ph.D. (04.06.2018)

Cílem je navázat na úvod do Haskellu z předmětu Neprocedurální programování a naučit se programovat užitečný a prakticky použitelný software v Haskellu. Součástí předmětu je přehled nejpopulárnějších knihoven a efektivních řešení složitých problémů pomocí funkcionálního programování.

Course completion requirements

Last update: RNDr. Miroslav Kratochvíl, Ph.D. (08.09.2019)

Studenti v průběhu semestru vyřeší 3 domácí úkoly. Zkouška bude probíhat z větší části formou diskuze o odevzdaných řešeních, případně doplněním nebo opravením chybějících částí. Témata zkoušky budou plně pokryta materiály z přednášky poskytnutými na webu.

Literature

English

Last update: RNDr. Michal Kopecký, Ph.D. (04.06.2018)

1. Bryan O'Sullivan, Don Stewart, and John Goerzen: Real World Haskell - Code You Can Believe In. O'Reilly, November 2008, ISBN-10: 0596514980, ISBN-13: 978-0596514983. http://book.realworldhaskell.org/read/

2. Learn You A Haskell For Great Good. http://learnyouahaskell.com/

Syllabus

English

Last update: RNDr. Miroslav Kratochvíl, Ph.D. (07.09.2020)

• Haskell type system, typeclasses, Hindley-Milner system, System Fc

• Monads, State, Monad transformers

• Haskell programs from inside in GHC: Core, STG, thunks, WHNF, seq, compilation, modularization

• Cabal

• Standard IO library

• Standard typeclasses

• Standard containers, Text and ByteString

• Connection to UNIX, optparse

• Parsing combinators, parsec

• Pretty printing

• Parallelism, STM, parallel frameworks

• Server applications -- Scotty, Yesod, Servant

• Lens library, Prism, Iso, Traversal

• Overview of several lazy data structures: Finger construction, lazy queues, ...

• Simple graphical output: Gloss, JuicyPixels

• Testing: HSpec, Quickcheck, Criterion

Czech

Last update: RNDr. Miroslav Kratochvíl, Ph.D. (07.09.2020)

• Typový systém Haskellu, typové třídy, Hindley-Milnerův systém, Systém Fc

• Monády, State, Monádové transformery

• Přehled vnitřního fungování Haskellových programů v GHC: Core, STG, thunky, WHNF, seq, kompilace, modularizace

• Cabal

• Standardní knihovna pro IO

• Standardní typové třídy

• Standardní kontejnery, Text a ByteString

• Spojení s UNIXem, optparse

• Parsovací kombinátory, parsec

• Pretty printing

• Paralelizace, STM, paralelní frameworky

• Serverové aplikace -- Scotty, Yesod, Servant

• Lens-ová knihovna, Prism, Iso, Traversal

• Přehled některých líných datových struktur: Finger-konstrukce, lazy fronty, ...

• Jednoduchý grafický výstup: Gloss, JuicyPixels

• Testování: HSpec, Quickcheck, Criterion