At give deltagerne et begrebsmæssigt og praktisk grundlag for at
modellere, analysere og konstruere systemer med udgangspunkt i en
funktionel, deklarativ tilgang.
Læringsmål:
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
beherske funktionelle tilgange til programmering
beherske begrebet rekursiv funktion
beherske anvendelse af funktionelle datatyper
anvende begrebet om funktioner som "first-class
citizens"
aflede typer for funktionelle programmer
analysere effekten af et program skrevet i et funktionelt
sprog
gøre rede for ressourceforbruget for simple funktionelle
programmer
etablere et funktionelt design for et givet problem, således at
hovedbegreberne for problemet direkte kan spores i designet
kommunikere løsninger til problemer på en klar og præcis
måde
Kursusindhold:
Funktionsprogrammering, herunder rekursive funktioner, rekursivt
definerede datatyper, højereordens funktioner, et stærkt
typebegreb, og problemløsningsteknikker.
Deklarativ modellering ved brug af et funktionsprogrammeringssprog
med et stærkt typebegreb.
