Algebraic Effects and Effect Handlers for Idioms and Arrows

Sam Lindley

doi:10.1145/2633628.2633636

Algebraic Effects and Effect Handlers for Idioms and Arrows

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Plotkin and Power's algebraic effects combined with Plotkin and Pretnar's effect handlers provide a foundation for modular programming with effects. We present a generalisation of algebraic effects and effect handlers to support other kinds of effectful computations corresponding to McBride and Paterson's idioms and Hughes' arrows.

Original language	English
Title of host publication	Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming
Place of Publication	New York, NY, USA
Publisher	ACM
Pages	47-58
Number of pages	12
ISBN (Print)	978-1-4503-3042-8
DOIs	https://doi.org/10.1145/2633628.2633636
Publication status	Published - 2014

Keywords

algebraic effects, applicative functors, arrows, call-by-push-value, effect handlers, idioms, monads

Access to Document

10.1145/2633628.2633636

Lindley_Lindley 2014 Algebraic EffectsAccepted author manuscript, 306 KB

http://doi.acm.org/10.1145/2633628.2633636

From Data Types to Session Types - A Basis for Concurrency and Distribution
Wadler, P.
EPSRC
20/05/13 → 19/11/20
Project: Research

Cite this

@inproceedings{d16d3628285c4d6680353c126f02da8d,

title = "Algebraic Effects and Effect Handlers for Idioms and Arrows",

abstract = "Plotkin and Power's algebraic effects combined with Plotkin and Pretnar's effect handlers provide a foundation for modular programming with effects. We present a generalisation of algebraic effects and effect handlers to support other kinds of effectful computations corresponding to McBride and Paterson's idioms and Hughes' arrows.",

keywords = "algebraic effects, applicative functors, arrows, call-by-push-value, effect handlers, idioms, monads",

author = "Sam Lindley",

year = "2014",

doi = "10.1145/2633628.2633636",

language = "English",

isbn = "978-1-4503-3042-8",

pages = "47--58",

booktitle = "Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming",

publisher = "ACM",

}

TY - GEN

T1 - Algebraic Effects and Effect Handlers for Idioms and Arrows

AU - Lindley, Sam

PY - 2014

Y1 - 2014

N2 - Plotkin and Power's algebraic effects combined with Plotkin and Pretnar's effect handlers provide a foundation for modular programming with effects. We present a generalisation of algebraic effects and effect handlers to support other kinds of effectful computations corresponding to McBride and Paterson's idioms and Hughes' arrows.

AB - Plotkin and Power's algebraic effects combined with Plotkin and Pretnar's effect handlers provide a foundation for modular programming with effects. We present a generalisation of algebraic effects and effect handlers to support other kinds of effectful computations corresponding to McBride and Paterson's idioms and Hughes' arrows.

KW - algebraic effects, applicative functors, arrows, call-by-push-value, effect handlers, idioms, monads

U2 - 10.1145/2633628.2633636

DO - 10.1145/2633628.2633636

M3 - Conference contribution

SN - 978-1-4503-3042-8

SP - 47

EP - 58

BT - Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming

PB - ACM

CY - New York, NY, USA

ER -

Algebraic Effects and Effect Handlers for Idioms and Arrows

Abstract

Keywords

Access to Document

Fingerprint

Projects

From Data Types to Session Types - A Basis for Concurrency and Distribution

Cite this