Funktionell programmering
ht 98

Innehåll:
Funktionell programmering i Lisp. Abstrakta Datatyper. Valfri fördjupningsuppgift.

Omfattning:
5 poäng

Lärare:
Anders Berglund (föreläsningar, examination)
tel 018-471 31 67 (arb), 070-425 02 11 (nalle) 08-652 45 80 (hem)
e-mail: Anders.Berglund@docs.uu.se

Johan Bengtsson (fördjupningsuppgifter)
tel 018 471 31 65
e-mail: Johan.Bengtsson@docs.uu.se

Roger Jonsson (handledning, Lispuppgifter)
tel 021 10 14 54
e-mail: rjn@mdh.se

Ytterligare lärare enligt senare meddelande

Litteratur:
Kompendium

För den intresserade:
Henderson, "Functional Programming. Application and implementaion", Prentice-Hall

Fördjupningslitteratur enligt överenskommelse

Undervisnings och examinationsformer:

Basblock

På kursens första två avsnitt, basblocket: funktionell programmering i Lisp och dataabstraktion ges undervisning i form av föreläsningar, uppgiftshandledning och en laboration enligt separat schema.

Dessa avsnitt examineras med tre (eller fyra) mindre inlämningsuppgifter samt en tenta. Tentamen ger endast betygen underkänt eller godkänt. Gränsen för godkänt resultat kommer att vara 60% totalt samt 50% vardera för de två avsnitten funktionell programmering och dataabstraktion.

De ordinarie uppgifterna på basblocket ska redovisas senast vid tentamenstillfället. För försent inlämnade gäller att rättning av uppgifter görs vid ett tillfälle, vid läsårets slut.

Fördjupningsblock

Kursens återstående avsnitt väljes efter önskat betyg.

Preliminärt kommer följande fördjupningsavsnitt att finnas:

• Lambda-kalkyl och denotationssemantik
• Oändliga strukturer och lat evaluering
• Programmeringsspråket Haskell
• Programmeringsspråket Erlang
• Objekt-orienterad funktionell programmering
• Programteori för logikprogrammeringsspråk, entusiastprojekt
• Programmeringsspråket FP
• Valfri uppgift inom deklarativ programmering entusiastprojekt

Den definitiva listan över projekt meddelas i samband med sista föreläsningen på basblocket.

Antalet platser på varje avsnitt är begränsat. Tid när anmälningslistor anslås meddelas senare.

För betyget 3 krävs två enheter fördjupningsavsnitt, för betyget 4 tre enheter, för betyget 5 fyra godkända enheter fördjupningsavsnitt. Varje fördjupningsuppgifter ger 2 till 4 enheter enligt senare meddelande.

Redovisningen av ett fördjupningsavsnitt består av

• programmeringsuppgift
• lektion, med utdelade anteckningar om ämnesområdet

Undervisning på fördjupningsavsnitten ges enbart i form handledning.

Totala kurskrav

För godkänt resultat på kursen krävs

• godkänt basblock
• godkända fördjupningsuppgifter för valt betyg
• bevistande av minst 4 lektioner inom andra fördjupningsuppgifter än ens egna.

Kursens moment ska lösas individuellt eller i grupper om två, förutom tentamen som är individuell. Vid arbete i grupp gäller att gruppens båda medlemmar ska aktivt delta i hela arbetet och allt arbete ska vara gemensamt. Att fördela uppgifter mellan sig inom en grupp är inte tillåtet.

Förhör kommer att hållas på inlämnade uppgifter eller under arbetets gång. Eventuella förekomster av fusk, kommer, såsom högskoleförodningen fastställer, att anmälas till rektor.

Preliminär föreläsningsplan
(varje undervisningstillfälle omfattar 3 lektioner ā 45 minuter)

1.	Inledning. Introduktion till funktionell programmering. Anders Berglund: Anteckningar om Lisp som funktionellt programmeringsspråk. Kia Höök: Arbetsmetod för små program föreläsningsanteckningar
2.	Funktionell programmering i Lisp, forts Litteratur som Föreläsning 1.
	Laboration.
3.	Funktionell programmering i Lisp, forts Litteratur som Föreläsning 1.
4,5	Abstrakta datatyper. Lisp-implementeringar. Formella definitioner av ADTer. Abelsson-Sussman Kia Höök: Arbetsmetod för stora program Cleaveland
6.	Genomgång av fördjupningsavsnitt.

Anders Berglund			       Office: Room 1254
Department of Computer Systems	       E-mail: Anders.Berglund@docs.uu.se
Box 325				       Phone (work): +46 18 471 31 67
S-751 05 Uppsala		       Mobile phone: +46 70 425 02 11
Sweden				       Fax (work):   +46 18 55 02 25