A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
A theory of gradual effect systems
2014
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14
Effect systems have the potential to help software developers, but their practical adoption has been very limited. We conjecture that this limited adoption is due in part to the difficulty of transitioning from a system where effects are implicit and unrestricted to a system with a static effect discipline, which must settle for conservative checking in order to be decidable. To address this hindrance, we develop a theory of gradual effect checking, which makes it possible to incrementally
doi:10.1145/2628136.2628149
dblp:conf/icfp/SchwerterGT14
fatcat:wcbunjwaezhgrnbu6ppw6beovq