Id (programovací jazyk) - Id (programming language)

Pro další použití „ID“ viz ID (disambiguation).

Irvine Dataflow (Id) je univerzální paralelní programovací jazyk, začala na Kalifornské univerzitě v Irvine v roce 1975[1] podle Arvind a K. P. Gostelow.[2] Arvind pokračoval v práci s Id v MIT do 90. let.

Hlavní podmnožinou Id je a čistě funkční programovací jazyk s nestriktní sémantika. Mezi funkce patří: funkce vyššího řádu, statický typově kontrolovaný polymorfní typ systému s přetížením, uživatelem definované typy a porovnávání vzorů a operátory prefixů a infixů. Vedlo to k rozvoji pH, paralelního dialektu Haskell.

Id programy jsou jemné implicitně paralelní.

Abstrakce proměnné synchronizace MVar v Haskellu je založena na M-strukturách Id.[3]

Příklady

   type bool = False | Skutečný;
   True :: bool -> bool False? :: bool -> bool a :: bool -> bool -> bool

Implementace

pH kapalina
Systém pHluid byl implementací výzkumu programovacího jazyka Id, s budoucími plány na front-end pro pH, paralelní dialekt programovacího jazyka Haskell, implementovaný v Digital's Cambridge Research Laboratory. a neziskové použití. Je zaměřen na standardní hardware pracovní stanice Unix.

Reference

  1. ^ Sharp, J.A. (1992). Výpočet datového toku: teorie a praxe. Intellect, Limited. p. 125. ISBN  9780893919214. Citováno 2014-12-02.
  2. ^ Arvind & K.P. Gostelow, The Id Report: An Asychronous Language and Computing Machine, Technical Report TR-114, Department of Information and Computer Science, University of California, Irvine, září 1978.
  3. ^ „Souběžný Haskell“. Peyton-Jones, Gordon a Finne. POPL 1996

externí odkazy

  • Referenční příručka jazyka ID, Rishiyur S.Nikhil, 1991.
  • „Asynchronous Programming Language for a Large Multiprocessor Machine“, Arvind et al., TR114a, Dept ISC, UC Irvine, prosinec 1978