Visa version
Visa
< föregående
|
nästa >
Jämför
< föregående
|
nästa >
Föreläsningar
Vi kommer att ha fjorton föreläsningar under kursens gång, dessa är inte obligatoriska men rekommenderade. Föreläsningarna kommer att diskutera och fördjupa aspekter som som kursliteraturen inte täcker.
Under kursens gång kommer presentationer att läggas upp.
Introduktion
Grunderna för funktionell programmering och grunderna för Erlang. Lambda-kalkyl och deklarativ semantik, beskriven med omskrivningsregler.
Erlang
Enkla program i Erlang, datatyper, mönstermatchning och hur man kan representera information. Innan föreläsniongen skall ni ha sett de två första delarna i Erlang Solutions kurs:
- Introduction to Erlang
- Basic Erlang
Ni skall också ha läst kapitel 1 och 2 i Erlang Programming.
Rekursion I och II
Rekursion är kanske begreppet med högst tröskel inom funktionell programmering, idén är naturligtvis väldigt enkel men ställer till en del huvudbry till en början. Som komplement till dessa två föreläsningar finns Erlang Solutions föreläsningar:
- Sequential Erlang
Under desa två föreläsningar kommer vi att gå igenom mycket av kapitel 2 i Erlang Programming from till och med "Recursion". Läs igenom delarna innan föreläsningarna.
Komplexitet
Vi tittar närmare på komplexitet och varför funktioner har den komplexitet de har. Eftersom funktioner på binära träd i många avseenden har bättre egenskaper än funktioner över listor, tar vi trädoperationer som exempel. Vi jämför även med motsvarande operationer för tupler och får förhoppningsvis en ökad förståelse för när man skall änvända var.
Moduler och undantag
Vi avrundar den funktionella delen av Erlang genom att gå igenom hur vi bygger upp våra program med hjälp av moduler, samt hur vi tar hand om fel som uppstår vid körning. Läs igenom kapitel 3 i kursboken samt andra hälften av kapitel 7 "Records and macros" (records, skall vi hantera senare). Titta även på motsvarande presentationer från Erlang Solutions för att repetera de bregrepp som vi diskuterar.
Processer
Erlangs andra sida är att kunna beskriva kommuniserande processer på ett väldigt enkelt sätt. Vi diskuterar den så kallade actor-modellen och hur Erlang väljer att implementera den. Läs kapitel 5, 6 och 7 i kursboken och se på föreläsningarna "Creating Processes and Message Passing" från Erlang Solutions.