Kursplan för Avancerad funktionell programmering

Kursens mål är att utforska de kraftfulla mekanismer som funktionella programspråk erbjuder när det gäller att lösa verkliga problem och strukturera större program. Fokus ligger på design av programbibliotek och inbäddade språk.

• designa inbäddade domänspecifika språk (EDSL)
  • förklara och ge exempel på (abstrakt) syntax, semantik, etc.
  • implementera EDSL i Haskell (som kombinatorbibliotek)
• läsa, förstå och utöka Haskellprogram som använder sig av avancerade typsystemegenskaper:
  • typklasser
  • (generaliserade) algebraiska datatyper
  • funktorer, monader och monadtransformerare
• använda specifikationsbaserade utvecklingstekniker
  • formulera och testa egenskaper som programmet ska uppfylla
  • resonera om funktionella programs korrekthet
  • transformera program baserat på sådana resonemang
• förklara och diskutera de ämnen som beskrivs ovan

Vi kan lära oss en hel del genom att studera standardbibliotekens list-funktioner som map, fold osv. Dessa funktioner kan generaliseras så att de fungerar för andra datatyper.

Realistiska funktionella program måste också hantera tillståndsförändringar, avbrott, "backtracking" och andra "icke-funktionella" beteenden. Vi kommer att jobba med hur dessa kan modelleras rent funktionellt. Det matematiska begreppet "monad" hjälper oss med detta.

Med hjälp av dessa kunskaper kommer vi att konstruera domänspecifika programbibliotek ämnade att lösa problem inom ett ett visst tillämpningsområde. Den här sortens bibliotek kan sägas definiera ett domänspecifikt språk eftersom konstruktionerna som programmeraren använder huvudsakligen består av biblioteksfunktioner. Vi kommer att studera bibliotek för inläsning (parsning), utskrift (pretty printing), grafik, webbprogrammering och interaktion. Kursen kommer också att presentera en del aktuell forskning vilket kan göra att innehållet varierar en del mellan åren. Kursen använder sig huvudsakligen av programmeringsspråket Haskell.

Se separat litteraturlista.

Det är 2-3 obligatoriska programmeringslaborationer som genomförs i par, och en skriftlig tentamen i slutet av kursen.