Your continued donations keep Wikipedia running!
Limbo programming language
From Wikipedia, the free encyclopedia
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 Dennis Ritchie, 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).
Contents |
[edit]
Language features
Limbo supports the following features:
- modular programming
- concurrent programming
- strong type checking at compile- and run-time
- interprocess communication over typed channels
- automatic garbage collection
- simple abstract data types.
[edit]
See also
- The Inferno operating system.
- Alef - The predecessor of Limbo.
- Occam - another programming language for concurrent systems
- Plan 9 from Bell Labs
[edit]
Examples
Limbo uses Pascal style definitions (minus the VAR keyword) as in:
name := type value; name0,name1 : type = value; name2,name3 : type; name2 = value;
[edit]
Hello world
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");
}
[edit]

