Limbo (programming language)

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Limbo
Paradigm(s) Concurrent
Designed by Sean Dorward, Phil Winterbottom, Rob Pike
Developer Bell Labs / Vita Nuova Holdings
Appeared in 1995
Typing discipline Strong
Major implementations Dis virtual machine
Influenced by C, Pascal, CSP, Alef, Newsqueak
Influenced Stackless Python, Go, Rust
OS Inferno
License Open source
Website www.vitanuova.com/inferno/limbo.html

Limbo is a programming language for writing distributed systems and is the language used to write applications for the Inferno operating system. It was designed at Bell Labs by Sean Dorward, Phil Winterbottom, and Rob Pike.

The Limbo compiler generates architecture-independent object code which is then interpreted by the Dis virtual machine or compiled just before runtime to improve performance. Therefore all Limbo applications are completely portable across all Inferno platforms.

Limbo's approach to concurrency was inspired by Hoare's Communicating Sequential Processes (CSP), as implemented and amended in Pike's earlier Newsqueak language and Winterbottom's Alef.

Language features[edit]

Limbo supports the following features:

Examples[edit]

Limbo uses Ada-style definitions as in:

 name := type value;
 name0,name1 : type = value;
 name2,name3 : type;
 name2 = value;

Hello world[edit]

 implement Command;
 
 include "sys.m";
     sys: Sys;
 
 include "draw.m";
 
 include "sh.m";
 
 init(nil: ref Draw->Context, nil: list of string)
 {
     sys = load Sys Sys->PATH;
     sys->print("Hello World!\n");
 }

Books[edit]

The 3rd edition of the Inferno operating system and Limbo programming language are described in the textbook Inferno Programming with Limbo ISBN 0-470-84352-7 (Chichester: John Wiley & Sons, 2003), by Phillip Stanley-Marbell. Another textbook "The Inferno Programming Book: An Introduction to Programming for the Inferno Distributed System", by Martin Atkins, Charles Forsyth, Rob Pike and Howard Trickey, was started, but never released.

See also[edit]

External links[edit]