Mixing Metaphors: Actors as Channels and Channels as Actors

Simon Fowler, Sam Lindley, Philip Wadler

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Channel- and actor-based programming languages are both used in practice, but the two are often confused. Languages such as Go provide anonymous processes which communicate using buffers or rendezvous points—known as channels—while languages such as Erlang provide addressable processes—known as actors—each with a single incoming message queue. The lack of a common representation makes it difficult to reason about translations that exist in the folklore. We define a calculus λch for typed asynchronous channels, and a calculus λact for typed actors. We define translations from λact into λch and λch into λact and prove that both are type- and semantics preserving. We show that our approach accounts for synchronisation and selective receive in actor systems and discuss future extensions to support guarded choice and behavioural types.
Original languageEnglish
Title of host publicationThe 31st European Conference on Object-Oriented Programming (ECOOP 2017)
PublisherSchloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
Pages1-28
Number of pages28
ISBN (Print)978-3-95977-035-4
DOIs
Publication statusPublished - 23 Jun 2017
Event31st European Conference on Object-Oriented Programming - Barcelona, Spain
Duration: 18 Jun 201723 Jun 2017
https://2017.ecoop.org/track/ecoop-2017-papers

Publication series

NameLeibniz International Proceedings in Informatics (LIPIcs)
PublisherSchloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Volume74
ISSN (Print)1868-8969

Conference

Conference31st European Conference on Object-Oriented Programming
Abbreviated titleECOOP 2017
CountrySpain
CityBarcelona
Period18/06/1723/06/17
Internet address

Fingerprint

Dive into the research topics of 'Mixing Metaphors: Actors as Channels and Channels as Actors'. Together they form a unique fingerprint.

Cite this