kirancodes.me
To Proof Maintenance & Beyond!

Rash: from reckless interactions to reliable programs

William Gallard Hatch, Matthew Flatt

Abstract

Command languages like the Bourne Shell provide a terse syntax for exploratory programming and system interaction. Shell users can begin to write programs that automate their tasks by simply copying their interactions verbatim into a script file. However, command languages usually scale poorly beyond small scripts, and they can be difficult to integrate into larger programs. General-purpose languages scale well, but are verbose and unwieldy for common interactive actions such as process composition.

Related papers