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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages Jg. 8; H. PLDI; S. 394 - 416
Hauptverfasser:	Lutze, Matthew, Madsen, Magnus
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 20.06.2024
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!