Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell

  • Simon Peyton Jones

in Engineering theories of software construction

Published by IOS Press | 2001

ISBN: ISBN 1 58603 1724

I’ve revised the notes significantly, with the help of feedback from many people. Last update: 21 Feb 2001.

 

This tutorial focuses on explaining the “bits round the edges” of Haskell programs, rather than the beautiful functional core we all know and love. More specifically, it gives, in a single framework, an account of

  • monadic input/output (the I/O monad)
  • concurrency (threads, MVars)
  • exceptions (both synchronous and asynchronous)
  • foreign language interfaces

The common feature of all of these is, of course, the ubiquitous I/O monad. All except the first (basic I/O) involve proposed extensions to Haskell that are implemented in GHC, and I have tried hard to make the tutorial use exactly the same function names as GHC does. All of the extensions are described in conference papers (also available from my home page), but these papers are not tutorials, and were written with varying nomenclature over a period of several years. I hope that this tutorial gives a more comprehensible overview of the big picuture, using a common vocabulary.

The tutorial also gives an operational semantics for everything described except the foreign-language interface part. For this I borrow the framework of operational semantics — but don’t worry! My intention is that you don’t need to know a thing about operational semantics to understand the paper.

I occasionally update this tutorial, and I would very much appreciate your help in improving it. If you read it, please let me know of any errors you find and suggestions for improvement.