Explicit Effects and Effect Constraints in ReML
Abstract
References
Index Terms
- Explicit Effects and Effect Constraints in ReML
Recommendations
Associated Effects: Flexible Abstractions for Effectful Programming
We present associated effects, a programming language feature that enables type classes to abstract over the effects of their function signatures, allowing each type class instance to specify its concrete effects.
Associated effects significantly ...
Embedding effect systems in Haskell
Haskell '14Monads are now an everyday tool in functional programming for abstracting and delimiting effects. The link between monads and effect systems is well-known, but in their typical use, monads provide a much more coarse-grained view of effects. Effect ...
Embedding effect systems in Haskell
Haskell '14: Proceedings of the 2014 ACM SIGPLAN symposium on HaskellMonads are now an everyday tool in functional programming for abstracting and delimiting effects. The link between monads and effect systems is well-known, but in their typical use, monads provide a much more coarse-grained view of effects. Effect ...
Comments
Information & Contributors
Information
Published In
![cover image Proceedings of the ACM on Programming Languages](/cms/asset/ec3fa386-2e3f-4498-8efd-8e839c3d8e0c/3554315.cover.jpg)
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Badges
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 248Total Downloads
- Downloads (Last 12 months)248
- Downloads (Last 6 weeks)31
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in