Imperative functional programming

  • Simon Peyton Jones ,
  • PL Wadler

20th ACM Symposium on Principles of Programming Languages (POPL'93) |

Published by ACM Press

POPL 2003: ten-year most-influential paper award

We present a new model, based on monads, for performing input/output in a non-strict, purely functional language. It is composable, extensible, efficient, requires no extensions to the type system, and extends smoothly to incorporate mixed-language working and in-place array updates.