Id (programming language)

Irvine Dataflow (Id) is a general-purpose <a href="/facts/Parallel_programming_language/nQzcpzQt">parallel programming language</a>, started at the University of California at Irvine in 1975 by <a href="/facts/Arvind_(computer_scientist)/2CRcoFbV">Arvind</a> and K. P. Gostelow. Arvind continued work with Id at <a href="/facts/MIT/Xk49vNA8">MIT</a> into the 1990s.
The major subset of Id is a <a href="/facts/Purely_functional_programming_language/am3DcNAd">purely functional programming language</a> with <a href="/facts/Non-strict_semantics/Pc9kLWgs">non-strict semantics</a>. Features include: <a href="/facts/Higher-order_function/VjnjGbpt">higher-order functions</a>, a Milner-style statically type-checked polymorphic type system with overloading, user defined types and pattern matching, and prefix and infix operators. It led to the development of pH, a parallel dialect of <a href="/facts/Haskell_(programming_language)/4Htv9WLu">Haskell</a>.
Id programs are fine grained <a href="/facts/Implicitly_parallel/cLErkfUt">implicitly parallel</a>.
The MVar synchronisation variable abstraction in Haskell is based on Id's M-structures.

Id (programming language) open-in-new

Id (programming language)