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 Apr
|16:00 - 16:30|
Jeanine Miller AdkissonTokyo Institute of Technology, Johannes WestlundTokyo Institute of Technology, Japan / KTH Royal Institute of Technology, Sweden, Hidehiko MasuharaTokyo Institute of TechnologyPre-print
|16:30 - 17:00|
|17:00 - 17:30|