Inferring algebraic effects

DOI10.2168/LMCS-10(3:21)2014MaRDI QIDQ2921118zbMATH OpenFDO

Authors Matija Pretnar

Publication date 30 September 2014

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1312.2334

zbMATH Keywords

algebraic effectseffect handlerseffect inferenceeffect system

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Abstract: We present a complete polymorphic effect inference algorithm for an ML-style language with handlers of not only exceptions, but of any other algebraic effect such as input & output, mutable references and many others. Our main aim is to offer the programmer a useful insight into the effectful behaviour of programs. Handlers help here by cutting down possible effects and the resulting lengthy output that often plagues precise effect systems. Additionally, we present a set of methods that further simplify the displayed types, some even by deliberately hiding inferred information from the programmer.

Recommendations

• An effect system for algebraic effects and handlers
• Handlers of Algebraic Effects
• Handling algebraic effects
• Type directed compilation of row-typed algebraic effects
• Handlers in action

Cited in

(11)

• Explicit effect subtyping
• scientific article; zbMATH DE number 1332634 (Why is no real title available?)
• Polymorphic type, region and effect inference
• Doo bee doo bee doo
• Explicit effect subtyping
• No value restriction is needed for algebraic effects and handlers
• An introduction to algebraic effects and handlers (invited tutorial paper)
• Sound and complete type inference for closed effect rows
• Automated temporal verification for algebraic effects
• Simplifying explicit subtyping coercions in a polymorphic calculus with effects
• A calculus for scoped effects \& handlers

Describes a project that uses

Uses Software

• ML
• Koka
• Eff
• Haskell
• Frank

This page was built for publication: Inferring algebraic effects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2921118)