Limbo (бағдарламалау тілі) - Limbo (programming language)
 | Бұл мақала үшін қосымша дәйексөздер қажет тексеру. (Қазан 2013) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз) |
| Парадигма | Бір уақытта |
|---|---|
| Жобалаған | Шон Дорвард, Фил Уинтерботтом, Роб Пайк |
| Әзірлеуші | Bell Labs / Vita Nuova Holdings |
| Бірінші пайда болды | 1995 |
| Пәнді теру | Күшті |
| ОЖ | Тозақ |
| Лицензия | Ашық ақпарат көзі |
| Веб-сайт | www |
| Майор іске асыру | |
| Dis виртуалды машинасы | |
| Әсер еткен | |
| C, Паскаль, CSP, Алеф, Newsqueak | |
| Әсер етті | |
| Stackless Python, Барыңыз, Тот | |
Лимбо Бұл бағдарламалау тілі таратылған жүйелерді жазу үшін және жазу үшін қолданылатын тіл қосымшалар үшін Инферно операциялық жүйесі. Ол жобаланған Bell Labs арқылы Шон Дорвард, Фил Винтерботтом, және Роб Пайк.
Лимбо құрастырушы генерациялайды сәулет -тәуелсіз объект коды оны кейін түсіндіреді Dis виртуалды машинасы немесе өнімділікті жақсарту үшін жұмыс уақытының алдында құрастырылған. Сондықтан барлық Limbo қосымшалары барлық Inferno платформаларында толығымен тасымалданады.
Лимбо параллельдікке деген көзқарас шабыттандырды Хоар Келіңіздер бірізді процестерді байланыстыру (CSP), бұрын Пайкта енгізілген және өзгертілген Newsqueak тіл және Winterbottom Алеф.
Тіл ерекшеліктері
Limbo келесі мүмкіндіктерді қолдайды:
- модульдік бағдарламалау
- бір уақытта бағдарламалау
- күшті типті тексеру компиляция кезінде және жұмыс уақытында
- процессаралық байланыс терілген арналар
- автоматты қоқыс шығару
- қарапайым деректердің дерексіз түрлері
Виртуалды машина
Limbo кодын орындайтын Dis виртуалды машинасы - CISC тәрізді VM, арифметика нұсқаулары бар, басқару ағыны, деректер қозғалысы, процесс процестерді құру, синхрондау және байланыстыру, код модульдерін жүктеу және жоғары деңгейлі деректер түрлерін қолдау: жолдар, массивтер, тізімдер және байланыс арналары.[1] Ол гибридті пайдаланады анықтамалық санау және а шынайы уақыт қоқыс жинаушы циклдық мәліметтер үшін.[2]
Дис дизайны аспектілері шабыттандырды AT&T Hobbit түпнұсқасында қолданылған микропроцессор BeBox.
Мысалдар
Limbo қолданады Ада -стиль анықтамалары:
аты := түрі мәні; аты0,аты1 : түрі = мәні; аты2,аты3 : түрі; аты2 = мәні;Сәлем Әлем
іске асыру Пәрмен; қосу «sys.m»; sys: Sys; қосу «draw.m»; қосу «sh.m»; ішінде(нөл: реф Сурет салу->Мәтінмән, нөл: тізім туралы жіп) { sys = жүктеме Sys Sys->ЖОЛ; sys->басып шығару(«Сәлем Әлем! n"); }Кітаптар
Оқулықта Inferno операциялық жүйесінің 3-ші басылымы және Limbo бағдарламалау тілі сипатталған Limbo көмегімен Inferno бағдарламалау ISBN 0-470-84352-7 (Чичестер: Джон Вили және ұлдары, 2003), автор Филлип Стэнли-Марбелл. Тағы бір оқулық Inferno бағдарламалау кітабы: Inferno таратылған жүйесіне арналған бағдарламалауға кіріспе, Мартин Аткинс, Чарльз Форсит, Роб Пайк және Ховард Трики басталды, бірақ ешқашан шығарылмады.
Сондай-ақ қараңыз
- The Тозақ операциялық жүйе
- Алеф, Limbo предшественники
- Bell Labs компаниясының 9-жоспары
- Go (бағдарламалау тілі), Google-ден ұқсас тіл
- AT&T Hobbit, процессордың архитектурасы Dis VM-ге шабыт берді
Әдебиеттер тізімі
- ^ «Dis виртуалды машинаның сипаттамасы». Вита Нуова. 2000. Алынған 2 ақпан 2015.
- ^ Лоренц Хюельсберген және Фил Уинтерботтом. «Өте ұсақ синхронизациясыз қоқысты жинау және жинау» (PDF). Журналға сілтеме жасау қажет
| журнал =(Көмектесіңдер)
Сыртқы сілтемелер
- Vita Nuova парағы Limbo
- Лимбоға түсу арқылы Брайан Керниган
- Бағдарламалау тілі арқылы Денис М. Ричи және Қосымша Вита Нуованың авторы.
- Limbo көмегімен Inferno бағдарламалау арқылы Филлип Стэнли-Марбелл
- Bell Labs CSP стиліндегі бұрандалы бағдарламалау
- Dis бастапқы коды
- Инферно виртуалды машинасының дизайны, Вита нуова.
- «Dis VM дизайны», Тозақ (4-ші басылым), V мысық.
- «Dis VM сипаттамасы», Тозақ (4-ші басылым), V мысық.