Promise (programming): Difference between revisions

Revision as of 11:29, 27 February 2005

Revision as of 11:32, 27 February 2005

Line 2:

== Known implementations ==

This [[concurrent programming]] technique of was invented by the MIT Actors group in the 1970s. It became more well known by its inclusion in [[MultiLisp programming language|MultiLisp]]. The use of logic variables for communication in concurrent logic programming languages is quite similar. These started with "Prolog with Freeze" and "IC Prolog", and became a true concurrency primitive with Concurrent Prolog, Flat Concurrent Prolog, Parlog, Vulcan, Janus, Mozart/Oz, Flow Java, and Alice. The single assignment "I-var" from data flow languages, included in Reppy's "Concurrent ML", is much like the concurrent logic variable.

This pipelining technique (of using promises/futures to overcome latency) was invented independently twice in the 1980s. It was invented at [[Project Xanadu]] (circa 1989) and by [[Barbara Liskov]] in 1988.

Line 10:

* [[Alice programming language|Alice]]

* [[Oz programming language|Oz]]

* [[MultiLisp programming language|MultiLisp]]