IA014 Advanced Functional Programming

Lecture X - I/O and Concurrency

Lecture dates

NOT COVERED THIS YEAR - WON'T BE EXAMINED !!!

Reading

S. Peyton Jones: Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell. Marktoberdorf 2001 [link]

Old, but still definitely a good starting point. Does not cover new developments in concurrency, e.g. STM.

S. Peyton Jones: Beautiful Concurrency. Chapter in Beautiful Code, 2007. [PDF][online version]

Covers STM, including the Santa Claus problem.

S. Marlow: Parallel and Concurrent Programming in Haskell. 2012. [PDF]

Modern concurrency and parallelism tutorial, partly based on the "Awkward squad". Covers STM.

IO inside. [HaskellWiki]

Great place to look if you are struggling to understand some I/O related aspects of Haskell.

Additional material

T. Harris, S. Marlow, S. Peyton Jones, M. Herlihy: Composable Memory Transactions. PPoPP'05. [PDF]

The paper which introduced the concept of STM to Haskell. Very good reading.

 

Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/1433/podzim2015/IA014/um/10-io.pdf
Následující