At sætte deltagerne i stand til at anvende funktionsprogrammering
ved løsning af praktiske såvel som mere teoretiske problemer.
Læringsmål:
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
anvende funktionsprogrammering på praktisk forekomne
problemer
sætte sig ind i funktionelle teoridannelser og udnytte dem i
forbindelse med programkonstruktion
analysere ressourceforbruget for et funktionelt program
opstille et funktionelt programdesign
analysere et funktionelt programdesign
vurdere funktionsprogrammerings rolle i en
systemsammenhæng
give en kritisk analyse af program design
dokumentere et softwareprodukt kort og klart
Kursusindhold:
Kurset giver indsigt i avancerede emner indenfor
funktionsprogrammering og deres brug i forbindelse med konkrete
anvendelser. Der vil blive undervist i teoretiske emner. Disse vil
indgå i konstruktionsopgaver der er inspireret af praktisk og/eller
forskningsorienterede problemer.
Kursusforløbet er styret af 3 miniprojekter. Et miniprojekt er
afpasset en uges varighed og det opstartes ved forelæsninger og
øvelser som støtter op om emnet. Et miniprojektet resulterer i et
produkt i form af et program og en minirapport.
Kursets indhold ændres årligt. Eksempler på temaer:
Databaseanvendelser, ressourceplanlægning, parallel opsamling af
information, Apps til mobiltelefoner, domænespecifikke sprog,
afgørbarhedsprocedurer, fortolkere, analyseværktøjer, monadisk
programmering, højereordens parsning.
Bemærkninger:
Kurset er tænkt som en overbygning af 02157 Funktionsprogrammering,
som skal muliggøre en effektiv udnyttelse af funktionsprogramming i
forbindelse med efterfølgende kurser og projekter på
kandidatuddannelsen i Informationsteknologi, for eksempel indenfor
programanalyse, afgørbarhedsprocedurer, og analyseværktøjer til
indlejrede systemer.
