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

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník 8; číslo PLDI; s. 394 - 416
Hlavní autoři:	Lutze, Matthew, Madsen, Magnus
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 20.06.2024
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!