Det blir ingen øvelser mandag 15. november.
Oppgaver 4 og 5 i oppgavesett nr. 8 inneholdt feil i teksten.
Riktig skal være:
Oppgave 4. Lag en funksjon vEval som benytter "call by value"
(applicative order evaluation).
Oppgave 5. Lag en funksjon nEval som benytter "call by name" (normal order
evaluation/lazy evaluation).
VIKTIG MELDING:
Dersom du IKKE skal ta eksamen i høst, må du snarest melde deg
av ved en skjermterminal.
For deg som SKAL ta eksamen: Jeg regner med at det blir muntlig
eksamen i begynnelsen av desember. Alle MÅ møte kl. 9:00 på
eksamensdagen; du vil da få vite nøyaktig hvilket tidspunkt du vil bli
kalt inn til eksamensbordet.
22.10: Det er lagt ut en liten ekstraoppgave for uke 8. Den anbefales gjort før de øvrige oppgavene for uke 8. Det er også foretatt en liten endring i oppgaveteksten for uke 8; hva endringen består i, er beskrevet først i settet.
Oppgaver for ukene 8-10 (25/10, 1/11, 8/11) er lagt ut.
Artikkelen A polymorphic applicative language og to notater av Anne Salvesen ble delt ut på forelesningen 14.oktober.
Forelesninger uke 6 (7.okt): Jeg starter med å ta noe fra oppgave 2 i denne uken (ukesett 5), som vi ikke rakk å gjennomgå noe av på gruppen mandag. Deretter blir det resten av oversettelsen fra Haskell til lambda-kalkylen (gjenstående fra forrige forelesning), og vi begynner å gjennomgå typet lambdakalkyle.
Det blir verken forelesninger eller gruppeøvelser uke 39 (27.9-1.10).
Artikkelen Functional programming and lambda-calculi (kap. 2 fra S.Thompson: Type Theory and Functional Programming) ble delt ut på forelesningen 16.9.
Gruppeøvelser er på styrerommet.
Haskell-kompilatoren hugs er lagt opp. Se her for pekere til nødvendig materiale.