Behörighetskrav

120 hp med en fortsättningskurs i programmering. 15 hp matematik inklusive grundläggande algebra.

Mål

För godkänt betyg ska studenten kunna

• definiera de grundläggande begreppen i funktionell programmering.
• manuellt exekvera ett enkelt funktionellt program.
• härleda typen av ett enkelt funktionellt program.
• implementera enkla algoritmer och datastrukturer som funktionella program.
• designa större funktionella program på ett modulärt sätt och med återanvändbara komponenter.
• förklara med hjälp av enkla problem hur funktionell programmering skiljer sig från imperativ och objektorienterad programmering.

Innehåll

Grundläggande begrepp: funktioner och relationer, rekursion och svansrekursion, typsystem, polymorfism, datatyper, rekursiva datatyper, inledning till högre ordningens funktioner, data-abstraktion.

Programmering i ett funktionellt språk, t.ex. Standard ML.

Likheter och skillnader i förhållande till imperativ och objektorienterad programmering.

Undervisning

Laborationer och eventuellt föreläsningar.

Examination

Uppgifter. En frivillig tentamen ges för dem som vill ha möjlighet till högre betyg.

Övriga föreskrifter

Kursen kan ej räknas in i examen tillsammans med Programkonstruktion (1IT020, 1IT021, 1DL200).