Introduktion till funktionell programmering

Detta är en introduktionskurs i programmering som använder ett funktionellt programmeringsspråk. Det primära syftet är att lära ut grundläggande datavetenskapliga begrepp, samtidigt som studenterna lär sig skriva små program.

Sekundära mål är att ge en grund för kommande kurser (specifikt datastrukturer, algoritmer, digitala kretsar, formella metoder och kurser i programspråk).

Specifika ämnen som behandlas i kursen är:

• värden, typer och funktioner
• sammansatta datastrukturer (listor, tupler, användardefinierade typer)
• högre ordningens funktioner
• användning av abstraktionsmekanismer för att undvika repetitiv programmering
• rekursion och rekursiva datatyper
• effektiva och ineffektiva program
• input-output
• verifiering med hjälp av testning