Runners in action

10/25/2019
by   Danel Ahman, et al.
0

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 λ_coop, which we equip with a sound and coherent denotational semantics that guarantees the linear use of resources and execution of finalisation code. We accompany λ_coop with examples of runners in action, provide a prototype language implementation in OCaml, as well as a Haskell library based on λ_coop.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

03/04/2020

Asynchronous effects

We explore asynchronous programming with algebraic effects. We complemen...
03/07/2018

Resource Polymorphism

We present a resource-management model for ML-style programming language...
12/31/2018

Eff Directly in OCaml

The language Eff is an OCaml-like language serving as a prototype implem...
06/22/2018

Assumption Commitment Types for Resource Management in Virtually Timed Ambients

This paper introduces a type system for resource management in the conte...
07/28/2021

Semantics for Variational Quantum Programming

We consider a programming language that can manipulate both classical an...
02/15/2021

MatchKAT: An Algebraic Foundation For Match-Action

We present MatchKAT, an algebraic language for modeling match-action pac...

Code Repositories

coop

A prototype programming language for programming with runners


view repo
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.