Svenska

Varje vårtermin

Kursen ger insikt i hur den funktionsorienterande programmeringsparadigmen ofta ger möjlighet att skriva program som är både kortare och lättare att förstå än med traditionell imperativ och objektorienterad programmering.

Funktionsspråkens filosofi och möjligheter. Programspråket Haskell. Funktionella språkkonstruktioner och idiom. Högre ordningens funktioner. Lat evaluering och oändliga datastrukturer. Monader och monadiska beräkningar. Polymorfa typsystem och typklasser. Typanalys och typhärledning.

ha god förståelse för de grundläggande principerna för funktionsprogrammering
förstå de praktiska konsekvenserna av skillnaderna mot traditionell programmering
kunna de vanliga idiomen i funktionsorienterad programmering
förstå funktionen och fördelarna hos ett anvancerat typsystem

obehindrat kunna läsa program skrivna i språket Haskell
kunna utnyttja den funktionsorienterade paradigmens möjligheter till att skriva välformulerade program i Haskell
kunna utföra typanalys av relativt komplexa uttryck i Haskell

ha utvecklat sin förmåga att använda programkod som kommunikationsmedium mellan människor

Föreläsningar

Laborationer

Skriftlig tentamen

Underkänd, godkänd

EDAA01 Programmeringsteknik - fördjupningskurs eller EDAA30 Programmering i Java - fortsättningskurs

 

Simon Thompson: Haskell, The Craft of Functional Programming. Addison Wesley, 2011, ISBN: 978-0-201-88295-7. Tredje upplagan. Rekommenderad referenslitteratur.
Graham Hutton: Programming in Haskell. Cambridge University Press, 2007, ISBN: 978-0-521-69269-4. Rekommenderat referenslitteratur.
Bryan O'Sullivan, John Goerzen and Don Stewart: Real World Haskell. O'Reilly, 2008, ISBN: 978-0-596-51498-3. Rekommenderad referenslitteratur.

EDAN40F

 -03-22

Professor Thomas Johansson