Kurs podává úvodní informace o funkcionálním programování. Kromě výkladu teorie budeme řešit jednoduché úlohy a psát malé programy v jazyce Haskell.
V podzimním semestru 2011 jsou přednášky každé pondělí od 16:00 do 17:50 v posluchárnách D1 a D2.
Miniskripta "Zápisky z přednášek" (pdf) prodává levně knihkupec ing. Pavel Mareček.
Text promítaný na přednáškách – v PostScriptu a v PDF.
Osnovy cvičení budou doplňovány průběžně během semestru.
Zkoušky jsou písemné. Jedna zkouška bude průběžná (polosemestrální) a jedna závěrečná za celý semestr.
| Polosemestrální zkouška | čtvrtek 10. 11. 2011 v 19:00 |
Celkové hodnocení je určeno počtem bodů, které každý student získá během semestru, především za polosemestrální a závěrečnou zkoušku.
Dalším zdrojem bodů mohou být prémiové body získané na cvičeních. a za vypracování projektů.
Kromě toho může student získat mimořádné body za zvláštní přínos pro výuku funkcionálního programování na FI, například za instalaci nových verzí kompilátorů a interpretů na fakultních počítačích, za instalaci knihoven pro Haskell a podobně. Tuto možnost je třeba předem konsultovat s přednášejícím.
Jazyk, který používáme při výuce funkcionálního programování, je Haskell. Haskell je čistě funkcionální jazyk s líným vyhodnocováním.
Pro experimentování s vlastními programy je na fakultních strojích instalován Hugs, interpret Haskellu. K jeho provozování stačí na kterékoliv fakultní unixové platformě zadat příkazy
module add hugs
hugs
Na vstup interpretu se zapisují výrazy v Haskellu (jež interpret vyhodnocuje)
nebo speciální povely pro Hugs.
(viz `man hugs`).
Povel pro ukončení činnosti interpretu je ":quit"
(nebo jen ":q").
Jiným a velmi dobrým interpretem je GHCi.