Id (язык программирования) - Id (programming language)

Чтобы узнать о других вариантах использования «ID», см. ID (значения).

Irvine Dataflow (Идентификатор) является универсальным язык параллельного программирования начал свою деятельность в Калифорнийском университете в Ирвине в 1975 году.[1] к Арвинд и К. П. Гостелов.[2] Арвинд продолжил работу с Ид в Массачусетский технологический институт в 1990-е годы.

Основное подмножество Id - это чисто функциональный язык программирования с нестрогая семантика. Возможности включают: функции высшего порядка, система полиморфных типов со статической проверкой типов в стиле Милнера с перегрузкой, определяемыми пользователем типами и сопоставлением с образцом, а также префиксными и инфиксными операторами. Это привело к развитию pH, параллельного диалекта Haskell.

Id-программы детализированы неявно параллельный.

Абстракция переменной синхронизации MVar в Haskell основана на M-структурах Id.[3]

Примеры

   тип bool = False | Истинный;
   True :: bool -> bool False? :: bool -> bool и :: bool -> bool -> bool

Реализации

pHluid
Система pHluid была исследовательской реализацией языка программирования Id с будущими планами по созданию интерфейса для pH, параллельного диалекта языка программирования Haskell, реализованного в Кембриджской исследовательской лаборатории Digital. и некоммерческое использование. Он ориентирован на стандартное оборудование рабочих станций Unix.

Рекомендации

  1. ^ Шарп, Дж. (1992). Вычисления потоков данных: теория и практика. Интеллект, ограниченный. п. 125. ISBN  9780893919214. Получено 2014-12-02.
  2. ^ Арвинд и К. П. Гостелоу, Id Report: An Asychronous Language and Computing Machine, Technical Report TR-114, Department of Information and Computer Science, University of California, Irvine, September 1978.
  3. ^ «Параллельный Haskell». Пейтон-Джонс, Гордон и Финн. POPL 1996

внешняя ссылка

  • Справочное руководство по языку ID, Ришиюр С. Нихил, 1991.
  • «Язык асинхронного программирования для большой многопроцессорной машины», Арвинд и др., TR114a, Отдел ISC, Калифорнийский университет в Ирвине, декабрь 1978 г.