Funktionell programmering 7.5 hp

Kursen är en introduktionskurs i programmering, främst funktionell programmering. Det övergripande syftet är att ge grundläggande kunskaper om programmering och grundläggande färdigheter i att utveckla program. Kursen innehåller följande moment: - grundläggande syntax i språket Haskell - värden, typer och funktioner - mönstermatchning - rekursion - sammansatta datatyper (listor, tupler) - typklasser - moduler - användardefinierade typer - högre ordningens funktioner - rekursiva datatyper - input-output - lat evaluering - verifiering med hjälp av testning och bevis.