Monad transformers and modular interpreters Export

@inproceedings{citeulike:82468, abstract = {We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many commonly known features, including simple expressions, three different function call mechanisms (call-by-name, call-by-value and lazy evaluation), references and assignment, nondeterminism, first-class continuations, and program tracing. The underlying mechanism of our system is monad transformers , a simple form of abstraction for introducing a wide range of computational behaviors, such as state, I/O, continuations, and exceptions. Our work is significant in the following respects. First, we have succeeded in designing a fully modular interpreter based on monad transformers that incudes features missing from Steele's, Espinosa's, and Wadler's earlier efforts. Second, we have found new ways to lift monad operations through monad transformers, in particular difficult cases not achieved in Moggi's original work. Third, we have demonstrated that interactions between features are reflected in liftings and that semantics can be changed by reordering monad transformers. Finally, we have implemented our interpreter in Gofer, whose constructor classes provide just the added power over Haskell's type classes to allow precise and convenient expression of our ideas. This implementation includes a method for constructing extensible unions and a form of subtyping that is interesting in its own right.}, address = {New York, NY, USA}, author = {Liang, Sheng and Hudak, Paul and Jones, Mark}, booktitle = {POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, citeulike-article-id = {82468}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=199528}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/199448.199528}, doi = {10.1145/199448.199528}, isbn = {0-89791-692-1}, keywords = {category, compiler, monads}, location = {San Francisco, California, United States}, pages = {333--343}, posted-at = {2005-04-24 16:46:15}, priority = {2}, publisher = {ACM}, title = {Monad transformers and modular interpreters}, url = {http://dx.doi.org/10.1145/199448.199528}, year = {1995} }

TY - CONF ID - citeulike:82468 L3 - citeulike-article-id:82468 N2 - We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many commonly known features, including simple expressions, three different function call mechanisms (call-by-name, call-by-value and lazy evaluation), references and assignment, nondeterminism, first-class continuations, and program tracing. The underlying mechanism of our system is monad transformers , a simple form of abstraction for introducing a wide range of computational behaviors, such as state, I/O, continuations, and exceptions. Our work is significant in the following respects. First, we have succeeded in designing a fully modular interpreter based on monad transformers that incudes features missing from Steele's, Espinosa's, and Wadler's earlier efforts. Second, we have found new ways to lift monad operations through monad transformers, in particular difficult cases not achieved in Moggi's original work. Third, we have demonstrated that interactions between features are reflected in liftings and that semantics can be changed by reordering monad transformers. Finally, we have implemented our interpreter in Gofer, whose constructor classes provide just the added power over Haskell's type classes to allow precise and convenient expression of our ideas. This implementation includes a method for constructing extensible unions and a form of subtyping that is interesting in its own right. CY - San Francisco, California, United States SN - 0-89791-692-1 AD - New York, NY, USA EP - 343 TI - Monad transformers and modular interpreters PB - ACM T2 - POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages SP - 333 KW - category KW - compiler KW - monads AU - Liang, Sheng AU - Hudak, Paul AU - Jones, Mark PY - 1995/// UR - http://dx.doi.org/10.1145/199448.199528 ER -