Pretnar, Matija - Inferring Algebraic Effects

lmcs:1004 - Logical Methods in Computer Science, September 12, 2014, Volume 10, Issue 3
Inferring Algebraic Effects

Authors: Pretnar, Matija

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.


Source : oai:arXiv.org:1312.2334
DOI : 10.2168/LMCS-10(3:21)2014
Volume: Volume 10, Issue 3
Published on: September 12, 2014
Submitted on: June 25, 2015
Keywords: Computer Science - Programming Languages,Computer Science - Logic in Computer Science


Share

Browsing statistics

This page has been seen 13 times.
This article's PDF has been downloaded 3 times.