research-article

Effekt: extensible algebraic effects in Scala (short paper)

Authors:

Jonathan Immanuel Brachthäuser,

Philipp SchusterAuthors Info & Claims

SCALA 2017: Proceedings of the 8th ACM SIGPLAN International Symposium on Scala

Pages 67 - 72

https://doi.org/10.1145/3136000.3136007

Published: 22 October 2017 Publication History

Abstract

Algebraic effects are an interesting way to structure effectful programs and offer new modularity properties. We present the Scala library Effekt, which is implemented in terms of a monad for multi-prompt delimited continuations and centered around capability passing. This makes the newly proposed feature of implicit function types a perfect fit for the syntax of our library. Basing the library design on capability passing and a polymorphic embedding of effect handlers furthermore opens up interesting dimensions of extensibility. Preliminary benchmarks comparing Effekt with an established library suggest significant speedups.

References

[1]

Andrej Bauer and Matija Pretnar. 2015. Programming with algebraic effects and handlers. Journal of Logical and Algebraic Methods in Programming 84, 1 (2015), 108-123.

[2]

Jacques Carette, Oleg Kiselyov, and Chung-Chieh Shan. 2007. Finally Tagless, Partially Evaluated. In Proceedings of the Asian Symposium on Programming Languages and Systems. Springer LNCS 4807, 222-238.

Digital Library

[3]

R Kent Dyvbig, Simon Peyton Jones, and Amr Sabry. 2007. A monadic framework for delimited continuations. Journal of Functional Programming 17, 6 (2007), 687-730.

Digital Library

[4]

Philipp Haller and Alex Loiko. 2016. LaCasa: Lightweight affinity and object capabilities in Scala. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages and Applications. ACM, 272-291.

Digital Library

[5]

Christian Hofer, Klaus Ostermann, Tillmann Rendel, and Adriaan Moors. 2008. Polymorphic Embedding of DSLs. In Proceedings of the Conference on Generative Programming and Component Engineering. ACM.

Digital Library

[6]

Paul Hudak. 1998. Modular Domain Specific Languages and Tools. In Proceedings of the Conference on Software Reuse. IEEE Computer Society Press, 134-142.

Digital Library

[7]

Ohad Kammar, Sam Lindley, and Nicolas Oury. 2013. Handlers in Action. In Proceedings of the International Conference on Functional Programming. ACM, 145-158.

Digital Library

[8]

Oleg Kiselyov. 2012. Delimited control in OCaml, abstractly and concretely. Theoretical Computer Science 435 (2012), 56-76.

Digital Library

[9]

Oleg Kiselyov and Hiromi Ishii. 2015. Freer Monads, More Extensible Effects. In Proceedings of the Symposium on Haskell. ACM, 94-105.

Digital Library

[10]

Oleg Kiselyov, Amr Sabry, and Cameron Swords. 2013. Extensible Effects: An Alternative to Monad Transformers. In Proceedings of the Symposium on Haskell. ACM, 59-70.

Digital Library

[11]

Oleg Kiselyov and KC Sivaramakrishnan. 2016. Eff directly in OCaml. In ML Workshop.

[12]

Daan Leijen. 2014. Koka: Programming with Row Polymorphic Effect Types. In Workshop on Mathematically Structured Functional Programming.

[13]

Daan Leijen. 2017a. Implementing Algebraic Effects in C "Monads for Free in C". Technical Report. Microsoft Research MSR-TR-2017-23.

[14]

Daan Leijen. 2017b. Type directed compilation of row-typed algebraic effects. In Proceedings of the Symposium on Principles of Programming Languages. 486-499.

Digital Library

[15]

Sheng Liang, Paul Hudak, and Mark Jones. 1995. Monad Transformers and Modular Interpreters. In Proceedings of the Symposium on Principles of Programming Languages. ACM, New York, NY, USA, 333-343.

Digital Library

[16]

Sam Lindley, Conor McBride, and Craig McLaughlin. 2017. Do Be Do Be Do. In Proceedings of the Symposium on Principles of Programming Languages. ACM, 500-514.

Digital Library

[17]

Fengyun Liu. 2016. A Study of Capability-Based Effect Systems. Master's thesis. École Polytechnique Fédérale de Lausanne, Switzerland.

[18]

Martin Odersky, Aggelos Biboudis, Fengyun Liu, Olivier Blanvillain, and Heather Miller. 2017. Simplicitly. Technical Report.

[19]

Martin Odersky and Matthias Zenger. 2005. Independently Extensible Solutions to the Expression Problem. In Proceedings of the Workshop on Foundations of Object-Oriented Languages.

[20]

Bruno C. d. S. Oliveira and William R. Cook. 2012. Extensibility for the Masses: Practical Extensibility with Object Algebras. In Proceedings of the European Conference on Object-Oriented Programming. Springer LNCS 7313, 2-27.

Digital Library

[21]

Bruno C. d. S. Oliveira, Tijs van der Storm, Alex Loh, and William R. Cook. 2013. Feature-Oriented Programming with Object Algebras. In Proceedings of the European Conference on Object-Oriented Programming. Springer LNCS 7920.

Digital Library

[22]

Leo Osvald, Grégory Essertel, Xilun Wu, Lilliam I González Alayón, and Tiark Rompf. 2016. Gentrification gone too far? affordable 2nd-class values for fun and (co-) effect. ACM, 234-251.

Digital Library

[23]

Gordon Plotkin and John Power. 2003. Algebraic operations and generic effects. Applied Categorical Structures 11, 1 (2003), 69-94.

[24]

Gordon Plotkin and Matija Pretnar. 2009. Handlers of algebraic effects. In European Symposium on Programming. Springer, 80-94.

Digital Library

[25]

Tiark Rompf, Ingo Maier, and Martin Odersky. 2009. Implementing Firstclass Polymorphic Delimited Continuations by a Type-directed Selective CPS-transform. In Proceedings of the International Conference on Functional Programming. ACM, New York, NY, USA, 317-328.

Digital Library

[26]

Wouter Swierstra. 2008. Data Types à La Carte. Journal of Functional Programming 18, 4 (July 2008), 423-436.

Digital Library

[27]

Philip Wadler. 1998. The Expression Problem. (Nov. 1998). Note to Java Genericity mailing list.

Cited By

Song YFoo DChin W(2024)Specification and Verification for Unrestricted Algebraic Effects and HandlingProceedings of the ACM on Programming Languages10.1145/36746568:ICFP(909-937)Online publication date: 15-Aug-2024
https://dl.acm.org/doi/10.1145/3674656
Brachthäuser JSchuster PLee EBoruch-Gruszecki A(2022)Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and backProceedings of the ACM on Programming Languages10.1145/35273206:OOPSLA1(1-30)Online publication date: 29-Apr-2022
https://dl.acm.org/doi/10.1145/3527320
Schuster PBrachthäuser JMüller MOstermann KJhala RDillig I(2022)A typed continuation-passing translation for lexical effect handlersProceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation10.1145/3519939.3523710(566-579)Online publication date: 9-Jun-2022
https://dl.acm.org/doi/10.1145/3519939.3523710
Show More Cited By

Index Terms

Effekt: extensible algebraic effects in Scala (short paper)
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Control structures

Recommendations

Effects as capabilities: effect handlers and lightweight effect polymorphism

Effect handlers have recently gained popularity amongst programming language researchers. Existing type- and effect systems for effect handlers are often complicated and potentially hinder a wide-spread adoption.

We present the language Effekt with the ...
Algebraic effects and effect handlers for idioms and arrows
WGP '14: Proceedings of the 10th ACM SIGPLAN workshop on Generic programming

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 ...
Handlers in action
ICFP '13: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming

Plotkin and Pretnar's handlers for algebraic effects occupy a sweet spot in the design space of abstractions for effectful computation. By separating effect signatures from their implementation, algebraic effects provide a high degree of modularity, ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SCALA 2017: Proceedings of the 8th ACM SIGPLAN International Symposium on Scala

October 2017

77 pages

ISBN:9781450355292

DOI:10.1145/3136000

General Chair:
Heather Miller
EPFL, Switzerland / Northeastern University, USA
,
Program Chairs:
Philipp Haller
KTH, Sweden
,
Ondřej Lhoták
University of Waterloo, Canada

Copyright © 2017 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

In-Cooperation

SIGAda: ACM Special Interest Group on Ada Programming Language

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 October 2017

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SPLASH '17

Sponsor:

SIGPLAN

SPLASH '17: Conference on Systems, Programming, Languages, and Applications: Software for Humanity

October 22 - 23, 2017

BC, Vancouver, Canada

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
208
Total Downloads

Downloads (Last 12 months)17
Downloads (Last 6 weeks)1

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Song YFoo DChin W(2024)Specification and Verification for Unrestricted Algebraic Effects and HandlingProceedings of the ACM on Programming Languages10.1145/36746568:ICFP(909-937)Online publication date: 15-Aug-2024
https://dl.acm.org/doi/10.1145/3674656
Brachthäuser JSchuster PLee EBoruch-Gruszecki A(2022)Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and backProceedings of the ACM on Programming Languages10.1145/35273206:OOPSLA1(1-30)Online publication date: 29-Apr-2022
https://dl.acm.org/doi/10.1145/3527320
Schuster PBrachthäuser JMüller MOstermann KJhala RDillig I(2022)A typed continuation-passing translation for lexical effect handlersProceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation10.1145/3519939.3523710(566-579)Online publication date: 9-Jun-2022
https://dl.acm.org/doi/10.1145/3519939.3523710
Brachthäuser J(2022)What You See Is What You Get: Practical Effect Handlers in Capability-Passing StyleErnst Denert Award for Software Engineering 202010.1007/978-3-030-83128-8_3(15-43)Online publication date: 28-Feb-2022
https://doi.org/10.1007/978-3-030-83128-8_3
Noguchi RMatsumoto NYoshida N(2021)Implementing Algebraic Effects and Handlers in Non-functional Programming Languages2021 IEEE Asia-Pacific Conference on Computer Science and Data Engineering (CSDE)10.1109/CSDE53843.2021.9718480(1-6)Online publication date: 8-Dec-2021
https://doi.org/10.1109/CSDE53843.2021.9718480
Brachthäuser JSchuster POstermann K(2020)Effects as capabilities: effect handlers and lightweight effect polymorphismProceedings of the ACM on Programming Languages10.1145/34281944:OOPSLA(1-30)Online publication date: 13-Nov-2020
https://dl.acm.org/doi/10.1145/3428194
Schuster PBrachthäuser JOstermann K(2020)Compiling effect handlers in capability-passing styleProceedings of the ACM on Programming Languages10.1145/34089754:ICFP(1-28)Online publication date: 3-Aug-2020
https://dl.acm.org/doi/10.1145/3408975
HILLERSTRÖM DLINDLEY SATKEY R(2020)Effect handlers via generalised continuationsJournal of Functional Programming10.1017/S095679682000004030Online publication date: 16-Mar-2020
https://doi.org/10.1017/S0956796820000040
CONVENT LLINDLEY SMCBRIDE CMCLAUGHLIN C(2020)Doo bee doo bee dooJournal of Functional Programming10.1017/S095679682000003930Online publication date: 31-Mar-2020
https://doi.org/10.1017/S0956796820000039
Xu YWu FJia XLi LXuan J(2020)Mining the use of higher-order functions:Empirical Software Engineering10.1007/s10664-020-09842-7Online publication date: 4-Sep-2020
https://doi.org/10.1007/s10664-020-09842-7
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten