- Alice (язык программирования)
-
Alice Семантика: Тип исполнения: компиляция в байткод для виртуальной машины
Появился в: Автор(ы): Programming Systems Lab, Saarland University
Типизация данных: ?
Основные реализации: Alice (единственная)
Испытал влияние: 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:= = spawn(fib(n));
Теперь переменная x связанна с так называемым будущим значением. Когда какой-либо операции потребуется непосредственное значение x, она будет заблокирована до тех пор, пока поток не завершит вычисления. Для лучшего использования параллелизма можно даже определить
fib
так:fun fib 0:= 0 | fib 1:= 1 | fib n:= spawn fib(n-1) + fib(n-2);
См. также
Ссылки
Категории:- Появились в 2002 году
- Языки программирования по алфавиту
- Языки программирования семейства ML
- Языки параллельного программирования
Wikimedia Foundation. 2010.