2026-07-25T15:15:42Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:6115 2024-03-06T10:38:01Z ddc:004 open_access

Lightweight Session Programming in Scala Scalas, Alceste Yoshida, Nobuko session types Scala concurrency 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Alceste Scalas and Nobuko Yoshida 2016 Is Part Of LIPIcs, Volume 56, 30th European Conference on Object-Oriented Programming (ECOOP 2016) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ECOOP.2016.21 urn:nbn:de:0030-drops-61156 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.21 eng https://creativecommons.org/licenses/by/3.0/legalcode