Typer og programmeringssprog

Kursushjemmeside (Ihvertfald mens det stod: på):
http://www.diku.dk/undervisning/2005v/202/

Indhold set fra min side:
Et rigtig spændende kursus, om en af de mere teoretiske sider af Datalogi. Om hvordan man kan bruge typer til sige noget om forskellige egenskaber ved programmeringssprog, og hvad der ligger bag de smarte og gennemprøvede features der er i programmeringssprog som man sjældent tænker over.

• Hvem har f.eks. forestillet sig at man kan garantere at et program terminere når blot det er veltypet?
• At man med typer kan sikre at allokering og deallokering af værdier foregår uden fejl?

osv osv.

Derudover lærer vi mange af de grundlæggende ting som bliver brugt igen og igen i mere advanceret litteratur. F.eks. polymorfi, inferens af typer (og andet), rekursion og dens påvirkninger af programmeringssprog.

Sværhed:
Det har indtil videre været en stor udfordring for mig at følge kurset. Jeg har skullet arbejde rigtig rigtig meget for at bare få lavet det absolut nødvendige i opgaverne.

Jeg har brugt lang tid på at lave mit seminar om Region-based Memory Managment og det var absolut ikke en prangende opvisning

Karakter:
8