Beauty in the Beast

Beauty in the Beast by Wouter Swierstra, Thorsten Altenkirch. 2006.
We provide a functional specification of three central components of Simon Peyton Jones’s awkward squad: teletype I/O, mutable state and concurrency. By constructing an internal model of such concepts within our programming language, we can reason about programs that perform I/O as if they were pure functions. One important application of our approach is accommodating I/O in a dependently typed programming language.

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Obligatory links

  1. LtU classic original announcement of SPJ's page;
  2. Discussion of paper in context of Haskell FFI story;
  3. Nice discussion by Anton in context of popular vs. good;