Limbo (lenguaje de programación)
# Limbo (lenguaje de programación)

Limbo es un lenguaje de programación para escribir sistemas distribuidos. Además es el lenguaje usado para escribir aplicaciones para el sistema operativo Inferno. Fue diseñado en los Laboratorios Bell por Sean Dorward, Phil Winterbottom y Rob Pike.

El compilador de Limbo genera código objeto independiente de la plataforma que luego es interpretado por la máquina virtual Dis o compilado antes de su ejecución para mejorar el rendimiento. Por ello, todas las aplicaciones hechas con Limbo son completamente portables en todas las plataformas soportadas por Inferno.

El enfoque de manejo de la concurrencia que tiene Limbo fue inspirada por el CSP de Hoare.

## Características del lenguaje

Limbo tiene las siguientes características:

* Programación Modular
* Programación concurrente
* Chequeo de tipos estricto tanto en tiempo de compilación y ejecución
* Comunicación entre procesos sobre canales tipificados
* Recolección de basura automática
* Tipos de dato abstractos simples

## Ejemplos

Limbo utiliza definiciones al estilo de Pascal como en:

## Libros

La 3ª edición del sistema operativo Inferno y el lenguaje de programación Limbo están descritas en el libro Inferno Programming with Limbo ISBN 0-470-84352-7 (Chichester: John Wiley & Sons, 2003), por Phillip Stanley-Marbell. Otro libro de texto, "The Inferno Programming Book: An Introduction to Programming for the Inferno Distributed System", por Martin Atkins, Charles Forsyth, Rob Pike y Howard Trickey, fue empezado pero nunca se publicó.

