Limbo

Limbo es un lenguaje de programación para escribir sistemas distribuidos y es el lenguaje utilizado para escribir aplicaciones para el sistema operativo Inferno. Fue diseñado en Bell Labs por Sean Dorward, Phil Winterbottom y Rob Pike. El compilador de Limbo genera código objeto independiente de la arquitectura que luego es interpretado por la máquina virtual Dis o compilado justo antes de la ejecución para mejorar el rendimiento. Por lo tanto, todas las aplicaciones de Limbo son completamente portátiles en todas las plataformas de Inferno. El enfoque de Limbo respecto a la concurrencia se inspiró en los procesos secuenciales comunicantes (CSP) de Hoare, tal como se implementaron y modificaron en el lenguaje Newsqueak anterior de Pike y en Alef de Winterbottom. Características del lenguaje Limbo admite las siguientes características: programación modular programación concurrente verificación estricta de tipos en tiempo de compilación y ejecución comunicación entre procesos mediante canales tipados recolección automática de basura tipos de datos abstractos simples