FIK3620 Typer, semantik och programmeringsspråk 7,5 hp

Kursen är uppdelad i tre separata moduler som täcker olika aspekter av typer, semantik och programspråksteori:

1. Operationell semantik och lambdakalkylen

• Småstegs- och storstegs-operationell semantik
• Otypad lambdakalkylen
• Grundläggande typad funktionell programmering

2. Typad lambdakalkyl med utökningar

• Typregler
• Typsundhetsbevis
• Semantik för let-bindning, par, tupler, records, sums, och listor
• Referenser och undantag

3. Subtypning och polymorfism

• Subtypspolymorfism
• Parametrisk polymorfism
• Ad-hoc polymorfism
• Strukturella och nominella typsystem
• Gradvis typning

Efter kursen kommer studenten kunna:

• Konstruera typsundhetsbevis
• Analysera typregler
• Analysera småstegs- och storstegs-operationell semantik
• Implementera en programtolk och en typkontrollerare för ett typbaserat funktionellt språk
• Tillämpa otypad och enkelt typad lambdakalkyl med utökningar
• Diskutera utmaningar och möjligheter för jämställdhet och mångfald inom området programvaruutveckling

Goda kunskaper inom programmering. God grundläggande förståelse av diskret matematik och logik.
Kunskap inom funktionell programmering och kompilatorer är en fördel men inte ett krav.

När kurs inte längre ges har student möjlighet att examineras under ytterligare två läsår.

• EXA1 - Examination, 7,5 hp, betygsskala: P, 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.

Se "Krav för slutbetyg" nedan.

Studenten erhåller betyg P på kursen om följande är uppfyllt:

1. Aktivt deltagande i seminarier
2. Godkända muntliga presentationer vid seminarier
3. Godkända lösningar på teoretiska övningar
4. Godkänd inlämning och presentation av programvaruimplementation

Om studenten inte kan medverka på någon av seminarierna kan detta kompletteras vid ett alternativt tillfälle.

David Broman

• 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.