Controlling Effects

Controlling Effects (1996)

by Andrzej Filinski

Venue:	U.S. DEPARTMENT OF LABOR, OCCUPATIONAL SAFETY AND HEALTH ADMINISTRATION
Citations:	45 - 0 self

User correction supplied by mph

Datum	Value	Source
TITLE	Controlling Effects	user correction
AUTHOR NAME	Andrzej Filinski	user correction
AUTHOR AFFIL	School of Computer Science; Carnegie Mellon University	user correction
AUTHOR ADDR	Pittsburgh, PA 15213	user correction
ABSTRACT	Many computational effects, such as exceptions, state, or nondeterminism, can be conveniently specified in terms of monads. We investigate a technique for uniformly adding arbitrary such effects to ML-like languages, without requiring any structural changes to the programs themselves. Instead, we use monadic reflection, a new language construct for explicitly converting back and forth between representations of effects as behavior and as data. Using monadic reflection to characterize concisely all effects expressible with a given monad, we can give a precise meaning to the notion of simulating one effect by another, more general one. We isolate a simple condition allowing such a simulation, and in particular show that any monadic effect can be simulated by a continuation monad. In other words, under relatively mild assumptions on the base language (allowing formation of a suitably large answer type), control becomes a universal effect. Concluding the development, we show that this universal effect can itself	user correction
YEAR	1996	SVM HeaderParse 0.2
VENUE	U.S. DEPARTMENT OF LABOR, OCCUPATIONAL SAFETY AND HEALTH ADMINISTRATION	user correction
VENUE TYPE	TECHREPORT	INFERENCE
VOLUME	25	INFERENCE
TECH	PhD thesis	INFERENCE
CITATIONS	5 found	ParsCit 1.0