Limbo語言

Limbo，一種用於分散式系統的程式語言，佇咧 Inferno 作業系統當中，用伊來寫作應用程式。伊起佇貝爾實驗室，由西恩 ・ 攏華（Sean Dorward）， 菲爾 ・ 溫特伯（Phil Winterbottom）佮羅榮 ・ 派克（Rob Pike）設計研發。

伊的並行計算模式，受著東尼 ・ 霍爾的交談循序程式所啟發。

語言特徵

Limbo 支援如下特徵：

• 模組化編程
• 而且編程
• 強型別檢查佇編譯時間佮執行時間
• 行程間通訊經過有類型的通道
• 自動糞埽收集
• 簡單的抽象資料的類型

虛擬機器

執行 Limbo 代碼的 Dis 虛擬的機器是 CISC 類的 VM，有的指令包括講：準算、控制流、資料徙振動、行程建立、仝一步佮行程間通訊、裝載代碼模組的指令，閣支援進階資料類型：字捾、陣列、列表佮通信通道。伊為著迴箍資料來使用矣混合的參照計數佮即時糞埽收集。

Dis 的各方面設計受著用佇上早的 BeBox 的 AT & T Hobbit 微處理器的啟發。

例

Limbo 使用 Ada 風格定義如下：

冊

第三版的 Inferno 作業系統佮 Limbo 程式語言描述佇教科書「Inferno Programming with Limbo」ISBN  空抹四百七十五八抹四千三百五十二鋪七（Chichester : John Wiley & Sons , 兩千空三）， Phillip Stanley-Marbell。

參見

• Inferno 作業系統
• Alef，Limbo 代先驅
• 貝爾實驗室九號計畫
• Go，Google 的類似語言

外部連結

• Vita Nuova page on Limbo
• A Descent into Limbo by Brian Kernighan
• The Limbo Programming Language by Dennis M . Ritchie and Addendum by Vita Nuova .
• Inferno Programming with Limbo by Phillip Stanley-Marbell
• Threaded programming in the Bell Labs CSP style
• Dis source code , [二千空二十五孵五] ,（原始內容存檔佇兩千空一十七抹九九分二十一）
• The design of the Inferno virtual machine , Vita nuova , [二千空二十五孵五] ,（原始內容存檔佇兩千空二十一抹一曝二十六）  .
• Dis VM design , Inferno 四 th , Cat V , [二千空二十五孵五] ,（原始內容存檔佇兩千空二十五六鷹二十四）  .
• Dis VM specification , Inferno 四 th , Cat V , [二千空二十五孵五] ,（原始內容存檔佇兩千空二十五十一分二十七）  .