Imperative functional programming
SL Peyton Jones, P Wadler - Proceedings of the 20th ACM SIGPLAN …, 1993 - dl.acm.org
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993•dl.acm.org
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.
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.
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.