DM580: Funktionel programmering

Studerende, der følger kurset, forventes at 

• have kendskab til grundlæggende programmeringskoncepter på et niveau, som svarer til det der opnås i DM574 Introduktion til programmering.
  
• have en en grundlæggende fortåelse for algoritmer og datastrukturer, fx ved at have fulgt kurset DM578 Algoritmer og datastrukturer.
• Kurset bygger på den viden, der er opnået i kurserne DM574 Introduktion til Programmering og DM578 Algoritmer og Datastrukturer. Det giver et fagligt grundlag for valg af kurser eller bachelorprojekter i programmeringssprog senere i uddannelsen.

For at opnå kursets formål er det læringsmålet for kurset, at den studerende demonstrerer evne til at:            

• Løse ikke-trivielle programmeringsopgaver i et funktionelt sprog, herunder skrive klar og korrekt kode samt anvende sprogets standardbibliotek.
• Udregne den mest generelle type af et funktionelt udtryk.
• Vurdere tid- og pladsforbruget af funktionelle programmer.
• Bevise egenskaber ved simple funktionelle programmer.

Kurset indeholder følgende faglige hovedområder: 

• funktioner
• højere ordens typer
• polymorfisme
• lister
• lazy evaluering
• referentiel transparens
• monader
• effektivitetsovervejelser
• korrekthedsbevise

Skemalagte undervisningstimer:  

Antal undervisningstimer i alt: 42 

Heraf:  

Fællestimer i klasselokale/auditorium: 21  

Holdtimer i klasselokale: 21  

Forelæsninger og øvelsestimer. Kursusmaterialet gennemgåes under forelæsninger, og øvelsestimerne bruges til løsning af øvelsesopgaver.

Andre planlagte undervisningsaktiviteter:  

• Løsning af mindre projektopgaver.
• Selvstudium af visse emner fra pensumet.