Funktionell programmering

Välkommen till funktionell programmering vt00!
 

Aktuellt

7:e juli:    En kort sammanställning av kursvärderingen finns nu. För en fullständig kursvärdering kontakta Krister Petersen och
                Åza Sjöqvist (Dal -98) eller Boel.
25:e maj: Schema för redovisning den 29:e och 31:a.
                Lägg märke till att jag flyttat runt er lite, några hade blivit utan publik annars. Ni som har blivit flyttade
                får dock bevista det ämne ni ursprungligen valt.
                Ni får naturligtvis gå på fler redovisningar än de fyra ni står som publik på.
                Du får själv se till att du bevistar fyra lektioner och att du skriver upp dig på närvarolistan. Räkna till fyra
                kan väl alla...

22:a maj: Ändrat datum för redovisning. Eftersom ingen anmält intresse för att redovisa på torsdag den 25:e så
                stryks den dagen. Om fler tillfällen behövs så utnyttjar vi eftermiddagarna 29:e och 31:a i stället.
                Sista anmälningsdag blir torsdag den 25:e och fastslaget schema kommer på denna sida fredagen den 26:e maj.
               Listan plockas ner på eftermiddagen den 25:e maj.

19:e maj: Nu är tentorna äntligen rättade! Finns att hämta hos Malin. Kom ihåg att man inte får något betyg på
                tentan, bara G eller U. Betyget får man på projektet.

17:e maj: Dags att anmäla sig till redovisning/lektion i projektet! Listor finns på anslagstavlan bredvid den
                andra anmälningslistan. Du ska dels skriva upp din egen lektion (projekt + ditt namn), dels anmäla dig
                som publik till minst fyra (4) andra lektioner. Notera datum och tid!
                Redovisning sker 25:e, 29:e och 31:a maj mellan 8.15 och 14.20 i sal V261.
               Fastslaget schema kommer på denna sida senast den 24:e maj. Håll utkik! Jag förbehåller mig rätten att
                ändra i era anmälningar vid behov.

10:e maj: Det är okej att anmäla sig till ett projekt så fort man lämnat in labbarna. Man behöver inte vänta på att de ska bli godkända.
25:e april: Anmälningslistorna för projekten finns på iDt:s anslagstavla.
                 Länk till hur man skriver en rapport finns under övrigt.
16:e april: Föreläsningen börjar 10.00
14:e april: Nu finns länk till inlämningsuppgift 2 och 3.

Tips: om du vill se hur rekursion funkar, testa funktionen trace på din funktion.


Kursinnehåll

Kursplan
Föreläsningsplan
Projektuppgifter


Laboration

Komma-igång-lab
Funktioner i Lisp

Programmeringsuppgifter

Alla uppgifter lämnas till Boel, per mail eller på papper.
Att lösa samtliga uppgifter före tentan är en utmärkt förberedelse (kanske den bästa) inför tentan.

Inlämningsuppgift 1

Lös uppgift 2 och 3 som en tillämpning på abstrakta datatyper. Påbörja inte dessa uppgifter förrän efter föreläsningarna om detta begrepp
Inlämningsuppgift 2
Inlämningsuppgift 3

Svarar på frågor om labbarna:
       Roger Jonsson
       Boel Almér
       Lars Bruce

Kursbiblioteket är en tillgång för alla kursdeltagare. Från den är därför enbart kortlån, såsom för kopiering eller läsning för stunden tillåten. Se även anvisningarna för fördjupningsuppgiften.


 Exempel från föreläsningar

Föreläsning 1. Introduktion till Lisp.
Föreläsning 2. Definiera egna funktioner i Lisp.
Föreläsning 3. Funktioner som anropar funktioner.
Föreläsning 4. ADT:er.


Övrigt

Anteckningar om Lisp som funktionellt språk  av Anders Berglund
Teknisk rapportskrivning  av Thomas Larsson
Frågor och feed-back! Frågor om kursinnehållet? Synpunkter? Något du undrar över? Skriv!!

Länkar

Mer om Lisp
Gnu emacs för windows    Ny förbättrad länk. Läs readme-filen!  Installera filen emacs-20.6-bin-i386.tar.gz  enligt instruktionerna i
                                          readme-filen. Innehåller en lisp-interpretator, men det är en annan lisp-dialekt (elisp) än den vi använder.
Gnu emacs manual
Common Lisp the language av Steele. Tjock bok i div format för den lisp-frälste. Finns på mitt rum om du vill bläddra. (tack Linus för länken)



Boel Almér
Rum 314, iDt
mejl: boel.almer@mdh.se