At give deltagerne et begrebsmæssigt og praktisk grundlag for at modellere, analysere og konstruere systemer med udgangspunkt i en funktionel, deklarativ tilgang. 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

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. 28. oktober, 2016