Funktionell programmering, fortsättningskurs

Om utbildningen

Denna kurs bygger vidare på grundläggande funktionell programmering och fokuserar på avancerade tekniker för att designa robusta, underhållbara och effektiva program. Studenterna utforskar centrala abstraktioner som funktorer och monader för att hantera effekter som tillstånd och I/O på ett rent funktionellt sätt. Kursen behandlar även design av inbäddade domänspecifika språk (EDSL), säker samtidighet med Software Transactional Memory (STM) och tekniker för parallell beräkning baserade på algebraiska egenskaper. Stor vikt läggs vid praktiska färdigheter i funktionell programmering, med fokus på egenskapsbaserad testning och kalkylerande resonemang för att uppnå korrekthet och prestanda. Kursen utvecklar förmågan att kritiskt bedöma avvägningar mellan abstraktion och effektivitet.

Behörighet

För behörighet till kursen krävs att studenten ska ha avklarat: - 7,5 hp i funktionell programmering - 7,5 hp i diskret matematik - 7,5 hp till inom matematik - 7,5 hp till inom datastrukturer Följande kunskapsnivå i Engelska krävs: Engelska 6/Engelska nivå 2 eller motsvarande från ett erkänt internationellt test, t.ex. TOEFL, IELTS.

Rekommenderade förkunskaper: uh

Alla tillfällen (1)

Liknande utbildningar

• Funktionell programmeringUniversitet/högskola
• Introduktion till funktionell programmeringUniversitet/högskola
• Avancerad funktionell programmeringUniversitet/högskola
• Funktionell programmering IUniversitet/högskola