Alice (язык программирования)

Материал из Seo Wiki - Поисковая Оптимизация и Программирование

Перейти к: навигация, поиск
<tr><th style="padding:3px">Семантика:</th><td class="" style="padding:3px">

функциональный </td></tr><tr><th style="padding:3px">Тип исполнения:</th><td class="" style="padding:3px"> компиляция в байтокод для виртуальной машины </td></tr><tr><th style="padding:3px">Появился в:</th><td class="" style="padding:3px"> 2002 г. </td></tr><tr><th style="padding:3px">Автор(ы):</th><td class="" style="padding:3px"> Programming Systems Lab, Saarland University </td></tr><tr><th style="padding:3px">Типизация данных:</th><td class="" style="padding:3px"> ? </td></tr><tr><th style="padding:3px">Основные реализации:</th><td class="" style="padding:3px"> Alice (единственная) </td></tr><tr><th style="padding:3px">Испытал влияние:</th><td class="" style="padding:3px"> Standard ML, Oz </td></tr> </table> Aliceязык функционального программирования, разработанный в лаборатории Programming Systems Lab в Саарском университете. Это диалект языка Standard ML, дополненный ленивыми вычислениями, конкурентностью (многопоточностью и распределёнными вычислениями на основе вызова удалённых процедур) и программированием в ограничениях.

Реализация Alice Саарского университета использует виртуальную машину SEAM (Simple Extensible Abstract Mashine). Она является свободным программным обеспечением и использует компиляцию «на лету» как в байт-код, так и в родной код для архитектуры x86.

Ранние версии Alice работали в виртуальной машине Mozart/Oz, предоставляя возможность взаимодействия кода на Alice и на Oz.

Возможность вызова удалённых процедур в Alice зависит от виртуальной машины, потому что она использует непосредственную пересылку исполняемого кода с одного компьютера на другой.

Пример

Alice расширяет Standard ML рядом примитивов для ленивых вычислений и конкурентности. Например, потоки могут быть созданы с помощью зарезервированного слова spawn. Рассмотрим наивный алгоритм для вычисления чисел Фибоначчи:

fun fib 0 = 0
  | fib 1 = 1
  | fib n = fib(n-1) + fib(n-2);

Для больших значений n вычисление fib n займёт много времени. Это вычисление может быть произведено в отдельном потоке с помощью:

val x = spawn fib n;

Теперь переменная x связанна с так называемым будущим значением. Когда какой-либо операции потребуется непосредственное значение x, она будет заблокирована до тех пор, пока поток не завершит вычисления. Для лучшего использования параллелизма можно даже определить fib так:

fun fib 0 = 0
  | fib 1 = 1
  | fib n = spawn fib(n-1) + fib(n-2);

См. также

Ссылки

es:Alice (lenguaje de programación) pt:Alice (linguagem de programação)

Личные инструменты

Served in 0.272 secs.
Alice
Файл:Alice.gif </span>