Two Models For Integrating Persistence and Lazy Functional Languages

Two Models For Integrating Persistence and Lazy Functional Languages (1991)

Cached

Download Links

[ftp.dcs.st-and.ac.uk]

Other Repositories/Bibliography

DBLP

by David J. McNally , Antony J. T. Davie

Citations:

5 - 0 self

Versions

Version History

Metadata Version 1

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Two Models For Integrating Persistence and Lazy Functional Languages	user correction - Legacy Corrections
AUTHOR NAME	David J. McNally	user correction - Legacy Corrections
AUTHOR AFFIL	Department of Computational Science; University of St Andrews	user correction - Legacy Corrections
AUTHOR NAME	Antony J. T. Davie	user correction - Legacy Corrections
AUTHOR AFFIL	Department of Computational Science; University of St Andrews	user correction - Legacy Corrections
ABSTRACT	A new programming system --- STAPLE (Statically Typed Applicative Persistent Language Environment) --- which integrates a lazy functional programming language and a persistent store is described. The motivation for introducing orthogonal persistence into a functional setting is given. Two models for achieving this integration are then described together with a discussion of the way laziness interacts with persistence and the benefits resulting from this interaction. In the first model, a system of persistent modules allows the programmer to create persistent values by naming them in a module. In the second model, a combination of stream I/O and a dynamic type allows functional programs to manipulate values already in the persistent store and to allow dynamically created values to become persistent. 1 1 Introduction The integration of persistence and lazy functional programming languages promises to reduce the complexity and improve the efficiency of functional programs. In addition...	user correction - Legacy Corrections
YEAR	1991	user correction - Legacy Corrections
CITATIONS	25 found	ParsCit 1.0