Modal Effect Types
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866909541566775296 |
|---|---|
| author | Tang, Wenhao White, Leo Dolan, Stephen Hillerström, Daniel Lindley, Sam Lorenzen, Anton |
| author_facet | Tang, Wenhao White, Leo Dolan, Stephen Hillerström, Daniel Lindley, Sam Lorenzen, Anton |
| contents | Effect handlers are a powerful abstraction for defining, customising, and composing computational effects. Statically ensuring that all effect operations are handled requires some form of effect system, but using a traditional effect system would require adding extensive effect annotations to the millions of lines of existing code in these languages. Recent proposals seek to address this problem by removing the need for explicit effect polymorphism. However, they typically rely on fragile syntactic mechanisms or on introducing a separate notion of second-class function. We introduce a novel approach based on modal effect types. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_11816 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Modal Effect Types Tang, Wenhao White, Leo Dolan, Stephen Hillerström, Daniel Lindley, Sam Lorenzen, Anton Programming Languages Effect handlers are a powerful abstraction for defining, customising, and composing computational effects. Statically ensuring that all effect operations are handled requires some form of effect system, but using a traditional effect system would require adding extensive effect annotations to the millions of lines of existing code in these languages. Recent proposals seek to address this problem by removing the need for explicit effect polymorphism. However, they typically rely on fragile syntactic mechanisms or on introducing a separate notion of second-class function. We introduce a novel approach based on modal effect types. |
| title | Modal Effect Types |
| topic | Programming Languages |
| url | https://arxiv.org/abs/2407.11816 |