Handling Algebraic Effects
Algebraic effects are computational effects that can be represented by an equational theory whose operations produce the effects at hand. The free model of this theory induces the expected computational monad for the corresponding effect. Algebraic effects include exceptions, state, nondeterminism,...
Uloženo v:
| Vydáno v: | Logical methods in computer science Ročník 9, Issue 4 |
|---|---|
| Hlavní autoři: | , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Logical Methods in Computer Science e.V
17.12.2013
|
| Témata: | |
| ISSN: | 1860-5974, 1860-5974 |
| 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!
|
| Abstract | Algebraic effects are computational effects that can be represented by an
equational theory whose operations produce the effects at hand. The free model
of this theory induces the expected computational monad for the corresponding
effect. Algebraic effects include exceptions, state, nondeterminism,
interactive input/output, and time, and their combinations. Exception handling,
however, has so far received no algebraic treatment. We present such a
treatment, in which each handler yields a model of the theory for exceptions,
and each handling construct yields the homomorphism induced by the universal
property of the free model. We further generalise exception handlers to
arbitrary algebraic effects. The resulting programming construct includes many
previously unrelated examples from both theory and practice, including
relabelling and restriction in Milner's CCS, timeout, rollback, and stream
redirection. |
|---|---|
| AbstractList | Algebraic effects are computational effects that can be represented by an
equational theory whose operations produce the effects at hand. The free model
of this theory induces the expected computational monad for the corresponding
effect. Algebraic effects include exceptions, state, nondeterminism,
interactive input/output, and time, and their combinations. Exception handling,
however, has so far received no algebraic treatment. We present such a
treatment, in which each handler yields a model of the theory for exceptions,
and each handling construct yields the homomorphism induced by the universal
property of the free model. We further generalise exception handlers to
arbitrary algebraic effects. The resulting programming construct includes many
previously unrelated examples from both theory and practice, including
relabelling and restriction in Milner's CCS, timeout, rollback, and stream
redirection. Algebraic effects are computational effects that can be represented by an equational theory whose operations produce the effects at hand. The free model of this theory induces the expected computational monad for the corresponding effect. Algebraic effects include exceptions, state, nondeterminism, interactive input/output, and time, and their combinations. Exception handling, however, has so far received no algebraic treatment. We present such a treatment, in which each handler yields a model of the theory for exceptions, and each handling construct yields the homomorphism induced by the universal property of the free model. We further generalise exception handlers to arbitrary algebraic effects. The resulting programming construct includes many previously unrelated examples from both theory and practice, including relabelling and restriction in Milner's CCS, timeout, rollback, and stream redirection. |
| Author | Plotkin, Gordon D Pretnar, Matija |
| Author_xml | – sequence: 1 givenname: Gordon D surname: Plotkin fullname: Plotkin, Gordon D – sequence: 2 givenname: Matija orcidid: 0000-0001-7755-2303 surname: Pretnar fullname: Pretnar, Matija |
| BookMark | eNp1kEFLAzEQRoNUsNbexVOPelhNMtls4q2UagsVD-o5JLNJSVl3JbsX_71pKyKCc5nhG753eOdk1HatJ-SS0VvOpLrbPC1eCn0t7jnccMrghIyZkrQodSVGv-4zMu37Hc0DwBSXY3K1sm3dxHY7mzdb75KNOFuG4HHoL8hpsE3vp997Qt4elq-LVbF5flwv5psCBauGwkEtJUdZBc-4yJlnlZSWSlY6DaiAcqBVAEDHQ34qRI1lkLUQtbclwISsj9y6szvzkeK7TZ-ms9Ecgi5tjU1DxMYbXlcovAbnfN5eaKccWMFAKLAqqMyiRxamru-TDz88Rs1eldmrMtoIw8HsVeWK_FPBONghdu2QbTT_F78Ay2Vtmg |
| CitedBy_id | crossref_primary_10_1017_S0956796820000040 crossref_primary_10_1145_3747529 crossref_primary_10_1016_j_entcs_2015_12_024 crossref_primary_10_1145_3571264 crossref_primary_10_1145_3689798 crossref_primary_10_1145_3547630 crossref_primary_10_1145_3093333_3009872 crossref_primary_10_1145_3674656 crossref_primary_10_1145_3434305 crossref_primary_10_1145_3704875 crossref_primary_10_1017_S0956796820000039 crossref_primary_10_1145_3158096 crossref_primary_10_1145_3158095 crossref_primary_10_1145_3633280 crossref_primary_10_1017_S0956796820000131 crossref_primary_10_1145_3363518 crossref_primary_10_1145_3428232 crossref_primary_10_1145_3729321 crossref_primary_10_1016_j_tcs_2015_03_047 crossref_primary_10_1145_3434314 crossref_primary_10_1145_3674641 crossref_primary_10_1145_3632878 crossref_primary_10_1145_3689805 crossref_primary_10_1016_j_entcs_2015_12_003 crossref_primary_10_1145_3428207 crossref_primary_10_1145_3473576 crossref_primary_10_1017_S0956796824000030 crossref_primary_10_1007_s40509_025_00368_5 crossref_primary_10_1017_S147106841600034X crossref_primary_10_1145_3408999 crossref_primary_10_1145_3622831 crossref_primary_10_1016_j_entcs_2015_12_012 crossref_primary_10_1017_S0956796817000077 crossref_primary_10_1016_j_entcs_2015_12_014 crossref_primary_10_1017_S0956796816000320 crossref_primary_10_1145_3371119 crossref_primary_10_1145_3371116 crossref_primary_10_1145_3632854 crossref_primary_10_1145_3632898 crossref_primary_10_1017_S1471068423000029 crossref_primary_10_1145_3408981 crossref_primary_10_1145_3485479 crossref_primary_10_1145_3563445 crossref_primary_10_1145_3607848 crossref_primary_10_1145_3563289 crossref_primary_10_1145_3290318 crossref_primary_10_1007_s11786_020_00450_8 crossref_primary_10_1017_S0956796819000212 crossref_primary_10_1017_S0956796820000027 crossref_primary_10_1145_3473580 crossref_primary_10_1017_S1471068415000137 |
| ContentType | Journal Article |
| DBID | AAYXX CITATION DOA |
| DOI | 10.2168/LMCS-9(4:23)2013 |
| DatabaseName | CrossRef DOAJ : directory of open access journals |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | CrossRef |
| Database_xml | – sequence: 1 dbid: DOA name: DOAJ Directory of Open Access Journals url: https://www.doaj.org/ sourceTypes: Open Website |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1860-5974 |
| ExternalDocumentID | oai_doaj_org_article_2d7c4e93bbec4ee49b8b3a413483a8f8 10_2168_LMCS_9_4_23_2013 |
| GroupedDBID | .4S .DC 29L 2WC 5GY 5VS AAFWJ AAYXX ADBBV ADMLS ADQAK AENEX AFPKN ALMA_UNASSIGNED_HOLDINGS ARCSS BCNDV CITATION EBS EJD FRP GROUPED_DOAJ J9A KQ8 MK~ ML~ M~E OK1 OVT P2P TR2 TUS XSB |
| ID | FETCH-LOGICAL-c417t-b3d662c67fe124c41e1766a0615b93c8302307f33cb2f1e18cc9c5f6d44dea533 |
| IEDL.DBID | DOA |
| ISICitedReferencesCount | 122 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000329566000025&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1860-5974 |
| IngestDate | Fri Oct 03 12:46:11 EDT 2025 Sat Nov 29 06:21:50 EST 2025 Tue Nov 18 20:41:33 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Language | English |
| License | https://arxiv.org/licenses/nonexclusive-distrib/1.0 |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c417t-b3d662c67fe124c41e1766a0615b93c8302307f33cb2f1e18cc9c5f6d44dea533 |
| ORCID | 0000-0001-7755-2303 |
| OpenAccessLink | https://doaj.org/article/2d7c4e93bbec4ee49b8b3a413483a8f8 |
| ParticipantIDs | doaj_primary_oai_doaj_org_article_2d7c4e93bbec4ee49b8b3a413483a8f8 crossref_primary_10_2168_LMCS_9_4_23_2013 crossref_citationtrail_10_2168_LMCS_9_4_23_2013 |
| PublicationCentury | 2000 |
| PublicationDate | 2013-12-17 |
| PublicationDateYYYYMMDD | 2013-12-17 |
| PublicationDate_xml | – month: 12 year: 2013 text: 2013-12-17 day: 17 |
| PublicationDecade | 2010 |
| PublicationTitle | Logical methods in computer science |
| PublicationYear | 2013 |
| Publisher | Logical Methods in Computer Science e.V |
| Publisher_xml | – name: Logical Methods in Computer Science e.V |
| References | 690:not-found |
| References_xml | – ident: 690:not-found |
| SSID | ssj0000331826 |
| Score | 2.3917456 |
| Snippet | Algebraic effects are computational effects that can be represented by an
equational theory whose operations produce the effects at hand. The free model
of... Algebraic effects are computational effects that can be represented by an equational theory whose operations produce the effects at hand. The free model of... |
| SourceID | doaj crossref |
| SourceType | Open Website Enrichment Source Index Database |
| SubjectTerms | computer science - logic in computer science computer science - programming languages |
| Title | Handling Algebraic Effects |
| URI | https://doaj.org/article/2d7c4e93bbec4ee49b8b3a413483a8f8 |
| Volume | 9, Issue 4 |
| WOSCitedRecordID | wos000329566000025&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVAON databaseName: DOAJ Directory of Open Access Journals customDbUrl: eissn: 1860-5974 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0000331826 issn: 1860-5974 databaseCode: DOA dateStart: 20040101 isFulltext: true titleUrlDefault: https://www.doaj.org/ providerName: Directory of Open Access Journals – providerCode: PRVHPJ databaseName: ROAD: Directory of Open Access Scholarly Resources customDbUrl: eissn: 1860-5974 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0000331826 issn: 1860-5974 databaseCode: M~E dateStart: 20040101 isFulltext: true titleUrlDefault: https://road.issn.org providerName: ISSN International Centre |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV09T8MwELVQxcDCN6LlQxkY6GC1zTmJzVaqVh1ohQRI3Sz7YqNKVUFtYeS3c07SqiywsGRw7MS-y_meZec9xm6wbZwB63lb5YYLIxMuc0TeyRzEedZOnC_FJrLxWE4m6nFL6iucCSvpgUvDtagBCqfA0suEc0JZacHQ1CskGOmL33wJ9Wwtpoo5GCAA53JfMu6ksvUw6j1xdSvuYmhS0oMfeWiLrr_IK4NDtl8BwqhbduSI7bj5MTtYiy1EVeydsMYw8CFQoom6s9ew2zvFqKQeXp6yl0H_uTfklbABR9HJVtxCnqYxppl3lF6pzAWaRhPQhVWAgZKLQs8DoI093ZSIChOf5kLkzhBAO2O1-dvcnbMoj7PEUVSlFmip5I1yKZBTrE8shSZinbXWw9RYsX4H8YmZJvQfDKODYbTSQsegg2HqrLlp8V4yXvxS9z5YblMvcFUXBeRBXXlQ_-XBxn885ILthQ6Fgyad7JLVVosPd8V28XM1XS6ui4-DrqOv_jf6Gr6G |
| linkProvider | Directory of Open Access Journals |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Handling+Algebraic+Effects&rft.jtitle=Logical+methods+in+computer+science&rft.au=Gordon+D+Plotkin&rft.au=Matija+Pretnar&rft.date=2013-12-17&rft.pub=Logical+Methods+in+Computer+Science+e.V&rft.eissn=1860-5974&rft.volume=9%2C+Issue+4&rft_id=info:doi/10.2168%2FLMCS-9%284%3A23%292013&rft.externalDBID=DOA&rft.externalDocID=oai_doaj_org_article_2d7c4e93bbec4ee49b8b3a413483a8f8 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1860-5974&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1860-5974&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1860-5974&client=summon |