An Overview of the Parallel Language Id (a foundation for pH, a parallel dialect of Haskell) (1993)
| Venue: | Digital Equipment Corporation, Cambridge Research Laboratory |
| Citations: | 3 - 0 self |
BibTeX
@TECHREPORT{Nikhil93anoverview,
author = {Rishiyur S. Nikhil},
title = {An Overview of the Parallel Language Id (a foundation for pH, a parallel dialect of Haskell)},
institution = {Digital Equipment Corporation, Cambridge Research Laboratory},
year = {1993}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
: Id is an architecture-independent, general-purpose parallel programming language that has evolved and been in use for a number of years. Id does not have a sequential core; rather, it is implicitly parallel, with the programmer introducing sequencing explicitly only if necessary. Id is a mostly-functional language, in the family of non-strict functional languages with a HindleyMilner static type system. Unlike other non-strict functional languages, it uses lenient, not lazy evaluation, for reasons of parallelism, as well as to give meaning to non-functional constructs. The non-functional constructs come in two layers: I-structures (which preserve determinacy, but not referential transparency, and are closely related to logic variables), and M-structures, which are side-effects with implicit synchronization. The layers are distinguished by syntax and types, so that it is possible for an implementation to force a program to be within a desired layer (e.g., purely functional)....
