Runners in Action

Runners of algebraic effects, also known as comodels, provide a mathematical model of resource management. We show that they also give rise to a programming concept that models top-level external resources, as well as allows programmers to modularly define their own intermediate “virtual machines”....

Descripción completa

Detalles Bibliográficos
Autores principales: Ahman, Danel, Bauer, Andrej
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7702241/
http://dx.doi.org/10.1007/978-3-030-44914-8_2
_version_ 1783616574399184896
author Ahman, Danel
Bauer, Andrej
author_facet Ahman, Danel
Bauer, Andrej
author_sort Ahman, Danel
collection PubMed
description Runners of algebraic effects, also known as comodels, provide a mathematical model of resource management. We show that they also give rise to a programming concept that models top-level external resources, as well as allows programmers to modularly define their own intermediate “virtual machines”. We capture the core ideas of programming with runners in an equational calculus [Formula: see text] , which we equip with a sound and coherent denotational semantics that guarantees the linear use of resources and execution of finalisation code. We accompany [Formula: see text] with examples of runners in action, provide a prototype language implementation in OCaml, as well as a Haskell library based on [Formula: see text] .
format Online
Article
Text
id pubmed-7702241
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-77022412020-12-01 Runners in Action Ahman, Danel Bauer, Andrej Programming Languages and Systems Article Runners of algebraic effects, also known as comodels, provide a mathematical model of resource management. We show that they also give rise to a programming concept that models top-level external resources, as well as allows programmers to modularly define their own intermediate “virtual machines”. We capture the core ideas of programming with runners in an equational calculus [Formula: see text] , which we equip with a sound and coherent denotational semantics that guarantees the linear use of resources and execution of finalisation code. We accompany [Formula: see text] with examples of runners in action, provide a prototype language implementation in OCaml, as well as a Haskell library based on [Formula: see text] . 2020-04-18 /pmc/articles/PMC7702241/ http://dx.doi.org/10.1007/978-3-030-44914-8_2 Text en © The Author(s) 2020 Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made. The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
spellingShingle Article
Ahman, Danel
Bauer, Andrej
Runners in Action
title Runners in Action
title_full Runners in Action
title_fullStr Runners in Action
title_full_unstemmed Runners in Action
title_short Runners in Action
title_sort runners in action
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7702241/
http://dx.doi.org/10.1007/978-3-030-44914-8_2
work_keys_str_mv AT ahmandanel runnersinaction
AT bauerandrej runnersinaction

Ejemplares similares