Limbo is a programming language for writing distributed systems and is the language used to write applications for the
Inferno operating system.
Limbo supports modular programming, strong type checking at compile- and
run-time, interprocess communication over typed channels, automatic garbage collection, and simple abstract data types.