لیمبو (زبان برنامه‌نویسی) - ویکی‌پدیا، دانشنامهٔ آزاد

این مقاله به هیچ منبع و مرجعی استناد نمی‌کند. لطفاً با افزودن یادکرد به منابع قابل اعتماد برطبق اصول تأییدپذیری و شیوه‌نامهٔ ارجاع به منابع، به بهبود این مقاله کمک کنید. مطالب بدون منبع را می‌توان به چالش کشید و حذف کرد. یافتن منابع: "لیمبو" زبان برنامه‌نویسی – اخبار · روزنامه‌ها · کتاب‌ها · آکادمیک · جی‌استور (چگونگی و زمان حذف پیام این الگو را بدانید)

لیمبو (به انگلیسی: Limbo) یک زبان برنامه‌نویسی برای نوشتن سیستم‌های توزیع‌شده‌است و همین‌طور زبانی است که از آن برای نوشتن برنامه‌های کاربردی سیستم‌عامل اینفرنو استفاده شده‌است. این زبان در آزمایشگاه‌های بل توسط شان دوروارد، فیل وینترباتوم و راب پایک نوشته شده‌است. کامپایلر لیمبو کدهای مقصود مستقل از ماشین تولید می‌کند. ماشین مجازی دیس این کدها را تفسیر و اجرا می‌کند یا اینکه آن‌ها را درست قبل از زمان اجرا برای بهبود کارایی کامپایل می‌کند. در نتیجه کلیه برنامه‌های سیستم‌عامل اینفرنو کاملاً پرتابل بوده و بر روی سخت‌افزارها و معماری‌های مختلفی اجرا می‌شوند.

برخی از ویژگی‌های این زبان عبارتند از:

• برنامه‌نویسی ماژولی
• رایانش همزمان
• کنترل نوع قوی در زمان کامپایل و زمان اجرا
• ارتباط بین پردازشی بر روی کانال‌های مطبوع
• بازیافت حافظه خودکار
• انواع داده انتزاعی ساده

ماشین مجازی دیس (Dis) که کد لیمبو را اجرا می‌کند، با دستورالعمل‌هایی برای محاسبات، کنترل جریان، حرکت داده‌ها، ایجاد فرایند، همگام‌سازی و برقراری ارتباط بین فرایندها، بارگیری ماژول‌های کد و پشتیبانی از انواع داده‌های سطح بالاتر: رشته‌ها، آرایه‌ها، لیست‌ها و کانال‌های ارتباطی^[۱] از ترکیبی از شمارش مرجع و بازیافت حافظه در لحظه برای داده‌های چرخه‌ای استفاده می‌کند.^[۲]

لیمبو از تعاریف سبک آیدا به شکل زیر استفاده می‌کند:

 name := type value;  name0,name1 : type = value;  name2,name3 : type;  name2 = value; 

 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");  } 

• سیستم عامل اینفرنو
• پلان ۹ از آزمایشگاه بل
• گو (زبان برنامه‌نویسی)، زبانی مشابه از گوگل