Kursplan - Funktionell programmering med F#

Syfte

Att lära studenten att självständigt lösa problem i ett funktionellt språk, och förstå vilka för- och nackdelar det funktionella paradigmet har jämfört med andra paradigm, som det imperativa och det objektorienterade.

Lärandemål

För godkänt ska studenten förstå och kunna använda de begrepp som lärs ut, manifesterat i följande mer konkreta färdigheter:

- lösa programmeringsproblem i ett funktionellt språk, med rekursion
- använda listor, tupler och andra funktionella datastrukturer för att strukturera data på lämpligt sätt vid problemlösning
- använda de vanligaste högre ordningens funktioner för att programmera effektivt
- deklarera egna datatyper och använda dessa vid modellering och problemlösning
- kunna redogöra skriftligt och muntligt för mjukvarulösningar som bygger på funktionell programmeringsteknik

Innehåll

Det funktionella programmeringsparadigmet. Rekursion. Högre ordningens funktioner. Algebraiska datatyper. Datastrukturer i funktionella språk: listor, tupler, träd. Moderna typsystem med typinferens. Olika evalueringsstrategier: lat versus ivrig evaluering. Frihet från sidoeffekter, och hur detta kan fås att samsas med I/O. Imperativ programmering i funktionella språk. Något om tillämpningar av funktionell programmering. Orientering om teoretiska grunder, som lambdakalkyl.

Undervisning

Lektioner (föreläsningar med inslag av övning), handledda laborationer samt eget arbete med laborationer och projekt.

Särskild behörighet

Programmeringsteknik 7,5 hp, Datastrukturer, algoritmer och programkonstruktion 7,5 hp, Diskret matematik 7,5 hp eller motsvarande.

Examination

Laboration (LAB1), En laborationsserie som redovisas i samband med schemalagda laborationstillfällen eller enligt överenskommelse. Laborationerna görs enskilt eller i grupper om två, 2 hp, betyg Underkänd (U) eller Godkänd (G)
Projekt (PRO1), Ett mindre programmeringsprojekt som görs på icke schemalagd tid med handledning enligt överenskommelse eller via email. Uppgiften kan väljas från en lista av givna projekt. Studenter kan även föreslå egna projektuppgifter som då ska godkännas av kursledaren. Projektet redovisas skriftligt med en rapport på 1-2 sidor samt programkod för testkörning, 1,5 hp, betyg Underkänd (U) eller Godkänd (G)
Tentamen (TEN1), Skriftlig sluttentamen, 4 hp, betyg Underkänd (U), 3, 4 eller 5

En student som har ett intyg från MDU avseende sin funktionsnedsättning har möjlighet att anmäla önskemål om anpassning vid salstentamina eller annan examinationsform i enlighet med Regler och anvisningar för examination på grundnivå och avancerad nivå vid Mälardalens högskola (2020/1655). Det är examinator som, utifrån det intyg som utfärdats, beslutar om eventuell anpassning och i så fall vilken anpassning som ska gälla.

Misstankar om vilseledande vid examination (fusk) anmäls, enligt högskoleförordningen, till universitetets rektor och prövas av universitetets disciplinnämnd. Om disciplinnämnden anser att en student gjort sig skyldig till en disciplinförseelse fattar nämnden beslut om en disciplinär åtgärd, vilket är varning eller avstängning.

Betyg

Ges något av betygen 5, 4, 3

Övergångsbestämmelser och övriga föreskrifter

Kursen överlappar helt med DVA201 Funktionell programmering med F#.