zbMATH — the first resource for mathematics

Tackling the awkward squad: Monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell. (English) Zbl 0989.68021
Hoare, Tony (ed.) et al., Engineering theories of software construction. Proceedings of the NATO ASI, Marktoberdorf, Germany, July 25 - August 6, 2000. Amsterdam: IOS Press. NATO Sci. Ser. III, Comput. Syst. Sci. 180, 47-96 (2001).
Summary: Functional programming may be beautiful, but to write real applications we must grapple with awkward real-world issues: input/output, robustness, concurrency, and interfacing to programs written in other languages.
These lecture notes give an overview of the techniques that have been developed by the Haskell community to address these problems. I introduce various proposed extensions to Haskell along the way, and I offer an operational semantics that explains what these extensions mean.
For the entire collection see [Zbl 0972.00060].

68N18 Functional programming and lambda calculus