Thumbnail
Access Restriction
Open

Author Launchbury, John ♦ Jones, Simon L. Peyton
Source CiteSeerX
Content type Text
Publisher ACM Press
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Type System ♦ Mutable Object ♦ Lazy Functional State Thread ♦ Critical Internal Use ♦ Purely-functional Language ♦ Main New Development ♦ External Specification ♦ Updatable State ♦ Formal Semantics ♦ Stateful Computation
Description Some algorithms make critical internal use of updatable state, even though their external specification is purely functional. Based on earlier work on monads, we present a way of securely encapsulating such stateful computations, in the context of a non-strict, purely-functional language. There are two main new developments in this paper. First, we show how to use the type system to securely encapsulate stateful computations, including ones which manipulate multiple, named, mutable objects. Second, we give a formal semantics for our system.
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 1993-01-01
Publisher Institution PROGRAMMING LANGUAGES DESIGN AND IMPLEMENTATION