Avanceradprogrammering.

YH02860

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