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 increase the flexibility and expressive power of a pr...

Full description

Saved in:

Bibliographic Details
Published in:	Proceedings of ACM on programming languages Vol. 8; no. PLDI; pp. 394 - 416
Main Authors:	Lutze, Matthew, Madsen, Magnus
Format:	Journal Article
Language:	English
Published:	New York, NY, USA ACM 20.06.2024
Subjects:	Language features Software and its engineering associated effects associated types type functions generic programming ad-hoc polymorphism effect systems type classes
ISSN:	2475-1421, 2475-1421
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!