Prof. John Mitchell
Course Reader; mycket växlande i kvalitet (från intressanta välskrivna artiklar till långa avsnitt bestående av intetsägande stödord, då och då avbrutna av "Insert picture here" o dyl).
Basic elements of programming languages and programming paradigms: functional, imperative, and object-oriented. Introduction to formal semantic methods. Modern type systems, higher-order functions and closure, exceptions and continuations. Runtime support for different language features. Emphasis is on separating the different elements of programming languages and styles. First half uses Lisp and ML to illustrate concepts; second half a selection of object-oriented languages.
Kunskaper i Lisp, C (eller liknande) och något objektorienterat språk.
Givande föreläsningar, som bestod i att Mitchell förklarade innehållet i ett antal OH-sidor som han utgick från (dessa fanns senare på Internet).
Review sessions, dar man ibland fick reda pa vad inlämningsuppgifterna egentligen frågade efter (se nedan), samt office hours, som var utmärkta tillfällen att fråga om desamma.
Kluriga och intressanta frågor, som dessvarre inte alltid var särskilt tydligt formulerade. Detta i kombination med en TA som bara godtog de tolkningar som han själv gjorde (vilka dessutom ibland var rent felaktiga!) ledde till en del onödiga dispyter. Jag tror dock att denna TA borde vara utbytt till nästa år. 40% av betyget.
Closed book. Stressig, men inte särskilt svår. Hade man läst lösningarna till inlämningsuppgifterna kunde man svara på det mesta. 25% av betyget.
Också closed book, men betydligt svårare. Manga frågor förutsatte detaljkunskaper om sådant vi knappt namnt. 35% av betyget.
Jag har kluvna känslor inför kursen. Kursinnehallet är bra, åtminstone om man har ungefär en Y:ares programmeringskunskaper (man bör dock kunna C något battre än jag kan). Likaså är tanken bakom inlämningsuppgifterna bra, men den kommer inte alltid fram. Kanske kan kursen utvecklas och bli battre, annars är det endast med tveksamhet jag rekommenderar den.