Functional programming 2, Online teaching

The student

• knows how to use advanced wrapper structures such as Applicative Functors, Monoids and Monads in functional programming. 
• is able to write parallel and distributed systems in functional languages. 
• is able to utilise software transactional memory in functional programming. 
• knows various ways to improve correctness of functional programs.
  

Functors

Applicative Functors

Monoids

Monads

Concurrency

Parallel programming

Software transactional memory

Improving Functional Program Correctess

and possibly some changing special topics

Individual work, self-study, possibility to consult the teacher.

Compulsory Prerequisites

• Functional programming 1, COMP.CS.130, 5 cr

On-line books Learn you a Haskell and Real-World Haskell available in Internet, recorded lectures, and example code snippets

Videos (online), reading - mainly the online book Learn You a Haskell, automatically graded exercises tasks

General scale, 0-5