Limbo (プログラミング言語)
From Wikipedia, the free encyclopedia
| パラダイム | 並行 |
|---|---|
| 登場時期 | 1995年 |
| 設計者 | Sean Dorward、Phil Winterbottom、Rob Pike |
| 開発者 | ベル研究所 / Vita Nuova Holdings |
| 型付け | 強い型付け |
| 主な処理系 | Dis virtual machine |
| 影響を受けた言語 | C言語、Pascal、CSP、Alef、Newsqueak |
| 影響を与えた言語 | Stackless Python、Go |
| プラットフォーム | Inferno |
| ライセンス | オープンソース |
| ウェブサイト | |
Limboは分散システム構築用プログラミング言語であり、Infernoオペレーティングシステムでのアプリケーションソフトウェア作成に使う。ベル研究所のSean Dorward、Phil Winterbottom、ロブ・パイクが設計した。
Limboコンパイラはアーキテクチャ独立なオブジェクトコードを生成し、それをDis仮想マシンでインタプリタ実行するか、性能を強化するために実行直前にコンパイルする。したがって、Limboで書いたアプリケーションは全てのInfernoプラットフォーム上で動作可能である。
Limboにおける並行性の方式は、アントニー・ホーアのCommunicating Sequential Processes (CSP) に影響を受けている。
Limboは次のような機能を備えている。
- モジュラープログラミング
- 並行プログラミング
- 強い型チェック （コンパイル時と実行時）
- 型付きチャンネル上のプロセス間通信
- 自動ガベージコレクション
- 単純抽象データ型
例
LimboはPascal風の定義（宣言）を採用している（VARというキーワードはない）。
name := type value;
name0,name1 : type = value;
name2,name3 : type;
name2 = value;
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");
}
