Algebraic effects and effect handlers for idioms and arrows

Sam Lindley

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Citations (Scopus)

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 languageEnglish
Title of host publicationWGP 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Generic Programming
PublisherAssociation for Computing Machinery
Pages47-58
Number of pages12
ISBN (Print)9781450330381
DOIs
Publication statusPublished - Aug 2014
Event10th ACM SIGPLAN Workshop on Generic Programming 2014 - Gothenburg, Sweden
Duration: 31 Aug 201431 Aug 2014

Conference

Conference10th ACM SIGPLAN Workshop on Generic Programming 2014
Abbreviated titleWGP 2014
Country/TerritorySweden
CityGothenburg
Period31/08/1431/08/14

Keywords

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

ASJC Scopus subject areas

  • Computer Graphics and Computer-Aided Design
  • Software

Cite this