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, samt
- deklarera egna datatyper och använda dessa vid modellering och problemlösning

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.

Undervisning

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

Särskild behörighet

Programmeringsteknik med C# 7,5 hp och Datastrukturer, algoritmer och programkonstruktion 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 högskolepoäng, betyg 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 högskolepoäng, betyg Godkänd (G)
Tentamen (TEN1), Skriftlig sluttentamen, 4 högskolepoäng, betyg 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

Med beröm godkänd, icke utan beröm godkänd, godkänd, underkänd