NPRG068 Programování v Haskellu (2025/26)

Praktický kurz o programování realistického software ve vysokoúrovňovém striktně typovaném líném funkcionálním jazyce.

Kontakt

• miroslav.kratochvil@matfyz.cuni.cz — vhodné na administrativní/studijní záležitosti
• mirek.kratochvil na Mattermostu MFF, kanál #nprg068-haskell (invite link je v SISu, dostupný po přihlášení k rozvrhu) — vhodné na otázky a diskuzi problémů s kódem a domácími úkoly
• mk na discordu MFF Unofficial (handle mirek.kratochvil) — na všechno ostatní

Rozvrh

Úterý 12:20 v S9, MS

Odkazy

• SIS NPRG068
• GHCUp (instalace)

Materiály

Slajdy budu zveřejňovat v průběhu semestru (viz níže u přednášek).

Vhodné materiály k přípravě na zkoušku (100% pochopení prakticky zaručuje úspěch):

• Learn You A Haskell (komunitní edice) (Vpravo dole klikněte na "read online".)
• Typing Haskell In Haskell (aka THIH) je malá implementace typového systému Haskellu rámcově kompatibilní se standardem Haskell98. Zdrojový kód na hraní je v balíku thih. Případně můžete prozkoumat jednodušší verzi minihm.

Průběh přednášek

TBA.

Domácí úkoly

TBA.

English-speaking students

We expect to give all lectures in Czech by default, but we will switch to English on demand in case there are English-speaking students present. (Ideally please let us know in advance.)

All other study materials (perhaps with the exception of the site info above, which is mirrored in SIS and slides) are in English. Please use some of the free available automated-translation tools if required, or ask for a consultation in case of questions or problems.