Lightweight session programming in scala

Alceste Scalas, Nobuko Yoshida

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

Abstract

Designing, developing and maintaining concurrent applications is an error-prone and time-consuming task; most difficulties arise because compilers are usually unable to check whether the inputs/outputs performed by a program at runtime will adhere to a given protocol specification. To address this problem, we propose lightweight session programming in Scala: we leverage the native features of the Scala type system and standard library, to introduce (1) a representation of session types as Scala types, and (2) a library, called lchannels, with a convenient API for session-based programming, supporting local and distributed communication. We generalise the idea of Continuation-Passing Style Protocols (CPSPs), studying their formal relationship with session types. We illustrate how session programming can be carried over in Scala: how to formalise a communication protocol, and represent it using Scala classes and lchannels, letting the compiler help spotting protocol violations. We attest the practicality of our approach with a complex use case, and evaluate the performance of lchannels with a series of benchmarks.

Original languageEnglish
Title of host publication30th European Conference on Object-Oriented Programming, ECOOP 2016
EditorsBenjamin S. Lerner, Shriram Krishnamurthi
Pages21:1-21:28
Volume56
ISBN (Electronic)9783959770149
DOIs
Publication statusPublished - 22 Jul 2016
Event30th European Conference on Object-Oriented Programming, ECOOP 2016 - Rome, Italy
Duration: 18 Jul 201622 Jul 2016

Publication series

Name30th European Conference on Object-Oriented Programming (ECOOP 2016)
PublisherSchloss Dagstuhl--Leibniz-Zentrum fuer Informatik
ISSN (Print)1868-8969

Conference

Conference30th European Conference on Object-Oriented Programming, ECOOP 2016
CountryItaly
CityRome
Period18/07/1622/07/16

Bibliographical note

© Alceste Scalas and Nobuko Yoshida;
licensed under Creative Commons License CC-BY

Funding: Work partly supported by: EPSRC EP/K011715/1, EP/K034413/1 and EP/L00058X/1, and EU project
FP7-612985 UpScale.

Keywords

  • Concurrency
  • Scala
  • Session types

Fingerprint Dive into the research topics of 'Lightweight session programming in scala'. Together they form a unique fingerprint.

  • Profiles

    No photo of Alceste Scalas

    Alceste Scalas

    Person: Academic

    Cite this

    Scalas, A., & Yoshida, N. (2016). Lightweight session programming in scala. In B. S. Lerner, & S. Krishnamurthi (Eds.), 30th European Conference on Object-Oriented Programming, ECOOP 2016 (Vol. 56, pp. 21:1-21:28). (30th European Conference on Object-Oriented Programming (ECOOP 2016)). https://doi.org/10.4230/LIPIcs.ECOOP.2016.21