Kursen går igenom dels de programmeringstekniker som används inom funktionella programmeringsspråk, dels hur program kan delas upp i flera exekverande trådar och hur dessa kan koordineras. Exempel på programmeringstekniker är rekursiva definitioner, icke uppdaterbara datastrukturer, högre ordningens funktioner och s.k. “closures”. Koordinering av multipla trådar visas dels genom modifiering av gemensamma datastrukturer dels genom meddelande mellan processer.

Kursen kommer att använda sig av ett programmeringsspråk som huvudspråk men även visa likheter och skillnader med andra funktionella språk.

Efter godkänd kurs skall studenten kunna

• använda sig av rekursion, mönstermatchning och icke modifierbara datastrukturer vid implementering i ett funktionellt programspråk.

För högre betyg skall studenten dessutom kunna

• använda funktioner som första ordningens objekt och arbeta med högre ordningens funktioner
• förklara grunderna för funktionell programmering, dess uppbyggnad och operationella semantik
• utvärdera funktioner med avseende på tidskomplexitet
• använda meddelandebaserad flertrådad programmering. 

Programmeringsvana, grundläggande algoritmer och datastrukturer samt grunderna inom diskret matematik. 

Vi kommer att, förutom handledningar, övningar och föreläsningar använda oss av manualer från elixir-lang.org.

Det är en fördel om du kan arbeta med din egen dator men du kan även använda skolans datorer. 

Vi kommer prgrammer i Elixir under kursen så du kommer behöva ha en programmeringsmiljö som du är väl fötrogen med samt ha Elixir installerat.

Om du har en funktionsnedsättning kan du få stöd via Funka:

Funka- stöd för studenter med funktionsnedsättningar

A, B, C, D, E, FX, F

• INL1 - Inlämningsuppgift, 7,5 hp, Betygsskala: A, B, C, D, E, FX, F

Examinator beslutar, baserat på rekommendation från KTH:s handläggare av stöd till studenter med funktionsnedsättning, om eventuell anpassad examination för studenter med dokumenterad, varaktig funktionsnedsättning.

Examinator får medge annan examinationsform vid omexamination av enstaka studenter.

Fö godkänt (E) krävs att ett antal inlämningsuppgifter är inlämnade i tid och sedan godkända.  För högre betyg finns ytterligare inlmningsuppgifter, även de skall vara inlämande i tid och sedan godkända.

I mån av tid finns möjlighet att plussa ett betyg och det sker genom muntlig redovisning av uppgifter

• Vid grupparbete har alla i gruppen ansvar för gruppens arbete.
• Vid examination ska varje student ärligt redovisa hjälp som erhållits och källor som använts.
• Vid muntlig examination ska varje student kunna redogöra för hela uppgiften och hela lösningen.