EDAN40F

Temporary

Functional Programming

7.5

Course given jointly for second and third cycle

7121 (Computer Science (LTH))

 -03-22

Professor Thomas Johansson

Swedish

Every spring semester

The course gives an insight into how the functional programming often offers a possibility to write shorter and easier-to-understand programs than using the traditional imperative or object-oriented approaches.

The philosophy of functional languages. The programming language Haskell. Language constructs and idioms. Higher-order functions. Lazy evaluation and infinite data structures. Monads and monadic computations. Polymorphic type systems and type classes. Type analysis and type inference

have a good understanding of the fundamental principles for functional programming
understand the practical consequences of the differences in this paradigm relative to traditional programming
know the common idioms of functional programming
understand the benefits and the function of an advanced type system

be a fluent reader of program written in Haskell
be able to utilize the possibilities of the functional paradigm to write Haskell programs in good style
be able to do type analysis of relatively complex expressions in Haskell

have learnt to appreciate the role of program code as a communication medium between people

Lectures

Laboratory exercises

Written exam

Failed, pass

EDAA01 Programming - Second Course or EDAA30 Programming in Java - Second Course

 

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

EDAN40F

 -03-22

Professor Thomas Johansson