A Shell-like Model for General Purpose Programming
Shell scripting languages such as bash are designed to integrate with an OS, which mainly involves managing processes with implicit input and output streams. They also attempt to do this in a compact way that could be reasonably typed on a command-line interface.
However, existing shell languages are not sufficient to serve as general-purpose languages—values are not observable except in raw streams of bytes, and they lack modern language features such as lexical scope and higher-order functions.
By way of a new programming language, Magritte, we propose a general-purpose programming language with semantics similar to bash. In this paper, we discuss the early design of such a system, in which the primary unit of composition, like bash, is processes with input and output channels, which can be read from or written to at any time, and which can be chained together via a pipe operator. We also explore concurrency semantics for such a language.
Tue 2 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 17:30 | |||
16:00 30mTalk | A Shell-like Model for General Purpose Programming MoreVMs Jeanine Miller Adkisson Tokyo Institute of Technology, Johannes Westlund Tokyo Institute of Technology, Japan / KTH Royal Institute of Technology, Sweden, Hidehiko Masuhara Tokyo Institute of Technology Pre-print | ||
16:30 30mTalk | Toward a Language Design for Energy Prediction MoreVMs Pre-print | ||
17:00 30mTalk | Language Support for Multiple Privacy Enhancing Technologies MoreVMs Aditya Oak Technische Universität Darmstadt, Mira Mezini TU Darmstadt, Germany, Guido Salvaneschi TU Darmstadt |