Efter avslutad utbildning ska den studerande ha kunskaper om/i
• 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

Efter avslutad utbildning ska den studerande ha färdigheter i att
• 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

Efter avslutad utbildning ska den studerande ha kompetenser att
• Självständigt kunna använda funktionell programmering för att lösa olika problem
• Självständigt kunna redogöra skriftligt och muntligt för mjukvarulösningar som bygger på funktionell programmeringsteknik