Funktionell programmering I

Om kursen

Funktionell programmering är ett programmeringsparadigm som betonar att uttrycka beräkningar genom rena funktioner, oföränderlig data och komposition snarare än stegvisa instruktioner och förändring av tillstånd. Detta synsätt underlättar resonemang om program, förbättrar testbarhet och stödjer modulär programstrukturering. Kursen introducerar dessa idéer och visar hur de skiljer sig från imperativa och objektorienterade programmeringsparadigm.

Du kommer att lära dig att tillämpa principer för funktionell programmering för att designa och implementera mjukvarusystem i ett funktionellt programspråk (till exempel Haskell). Centrala moment inkluderar funktioner, rekursion, funktioner av högre ordning, typsystem, polymorfism och rekursiva datastrukturer, med fokus på att bygga modulära och återanvändbara programkomponenter.

En central del av kursen är praktisk programmering, där du utvecklar förmågan att implementera algoritmer och datastrukturer i funktionell stil, manuellt följa programkörning samt göra typinferens för uttryck. Undervisningen bedrivs i form av flippat klassrum, laborationer och skriftliga inlämningsuppgifter—både individuella och i grupp—där du stegvis utvecklar förmågan att designa större program med tydlig struktur och abstraktion. Kursen passar studenter med tidigare programmeringserfarenhet som vill fördjupa sin förståelse för programmeringsparadigm samt stärka sin problemlösnings- och programdesignförmåga.