Алиса (язык программирования)

Алиса
Парадигмы	Мультипарадигма : императивный , функциональный , распределенный , параллельный , ограниченный.
Семья	ML : Стандартный ML
Разработчик	Саарский университет
Впервые появился	16 июня 2000 г .; 23 года назад
Стабильная версия	1,4 / 3 мая 2007 г .; 17 лет назад
Дисциплина набора текста	сильный , статичный , предполагаемый
ТЫ	Кросс-платформенный
Лицензия	С
Веб-сайт	www .ps .uni-саарланд .из / Алиса
Под влиянием
	МЛ , Оз

Alice ML — это назначения высокого уровня , многопарадигмальный функциональный общего язык программирования разработанный Лабораторией систем программирования Саарского университета , Саарбрюккен , Германия . ^[2] Это диалект стандартного машинного обучения , дополненный поддержкой отложенных вычислений , параллелизма ( многопоточность и распределенные вычисления посредством удаленных вызовов процедур ) и программирования с ограничениями .

Обзор [ править ]

Alice расширяет Standard ML несколькими способами, которые отличают его от предшественника. Алиса предоставляет функции параллелизма как часть базового языка за счет использования будущего типа, который представляет значение, предоставляемое независимым потоком выполнения. Поток, использующий будущее значение, будет блокировать попытку доступа к этому значению до тех пор, пока поток, выполняющий его, не завершит вычисление. Также предусмотрена связанная концепция, называемая обещанием , позволяющая потоку предоставлять будущее значение, которое он вычислит другому потоку. Переменные типа Future и Promise используются для реализации синхронизации потоков данных.

Как и функциональный язык Haskell , Alice предоставляет средства, позволяющие использовать в программах стратегию ленивой оценки , в отличие от традиционной стратегии нетерпеливой оценки Standard ML. В то время как Haskell по умолчанию использует ленивую модель, Алиса по умолчанию использует нетерпеливую модель оценки, и для ленивого вычисления требуется явный программный оператор.

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

Ранние версии Алисы работали на виртуальной машине (VM) Mozart Programming System (Oz), что позволяло взаимодействовать между Алисой и Oz кодом .

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

Пример [ править ]

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

 забавная   выдумка   0   =   0 
    |    фиб   1   =   1 
    |    фиб   n   =   фиб  (  n-  1  )   +   фиб  (  n-  2  );

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

 val   x   =   спавн   fib   n  ;

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

 забавная   выдумка   0   =   0 
    |    фиб   1   =   1 
    |    фиб   n   =   спавн   фиб  (  n-  1  )   +   фиб  (  n-  2  );

См. также [ править ]

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

Ссылки [ править ]

^ «Алиса» . DE: Саарский университет .
^ «Лаборатория систем программирования» . Архивировано из оригинала 5 октября 2006 года . Проверено 8 августа 2006 г.

Внешние ссылки [ править ]

[1] «Алиса» . DE: Саарский университет .

[2] «Лаборатория систем программирования» . Архивировано из оригинала 5 октября 2006 года . Проверено 8 августа 2006 г.

[1]

[2]