Irvine Dataflow (Id) is a general-purpose parallel programming language, started at the University of California at Irvine in 1975[1] by Arvind and K. P. Gostelow.[2] Arvind continued work with Id at MIT into the 1990s.
The major subset of Id is a purely functional programming language with non-strict semantics. Features include: higher-order functions, 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 Haskell.
Id programs are fine grained implicitly parallel.
The MVar synchronisation variable abstraction in Haskell is based on Id's M-structures.[3]
- ^ Sharp, J.A. (1992). Data Flow Computing: Theory and Practice. Intellect, Limited. p. 125. ISBN 9780893919214. Retrieved 2014-12-02.
- ^ Arvind; Gostelow, Kim P.; Plouffe, Wil (1978). "The (preliminary) Id report: an asynchronous programming language and computing machine (revised)". Technical Report TR-114, Department of Information and Computer Science, University of California, Irvine.
- ^ "Concurrent Haskell". Peyton-Jones, Gordon and Finne. POPL 1996.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search