Re: Question about E's history.
Dean Tribble <[email protected]> Sun, 12 Jun 2011 02:38:39 -0700
| Newsgroups | gmane.comp.lang.e.general |
|---|---|
| Message-ID | <[email protected]> |
Some E promise history: E promises derive primarily from Joule channels, by way of the Xanadu promise system. Joule was a massively concurrent programming language that was a deliberate cross between actors and concurrent logic programming languages. The Xanadu promise system was created by applying Joule channels to a sequential language for pipe-lined, client-server communication. It was contemporary with and independent of the Argus promises system. The E language generalized that to "islands of sequential programming communicating with promises". On Sat, Jun 11, 2011 at 7:47 PM, Jonathan Rees <[email protected]> wrote: > Is this relevant as precedent? It was pretty well developed by 1984 > http://en.wikipedia.org/wiki/MultiLisp > but I don't know how well developed it was regarding pipelining. I suspect > they got the 'promise' idea from Hewitt. > > <http://en.wikipedia.org/wiki/MultiLisp>Jonathan > <http://en.wikipedia.org/wiki/MultiLisp> > On Jun 11, 2011, at 4:23 PM, Mark S. Miller wrote: > > On Sat, Jun 11, 2011 at 12:01 PM, Tom Van Cutsem <[email protected]>wrote: > >> Hi Constantine, >> >> Having looked at various actor languages, I have not previously >> encountered the type of asynchronous composability that when-expressions >> provide. So E may be the first language to have introduced this feature. >> >> About E's origins: in the paper "Concurrency among strangers", there is a >> section titled "From objects to actors and back again" (section 11) which I >> feel is a good reference to work that inspired E: < >> http://www.erights.org/talks/promises/index.html> >> >> In general, I believe the actor model served as the greatest source of >> inspiration for E: <http://en.wikipedia.org/wiki/Actor_model> >> >> I know from Mark that promises in Liskov's Argus language were also a >> source of inspiration for promises in E. >> > > Not inspiration, but precedence and therefore credit. In 1989, Dean, I, and > others independently came up with a promise pipelining model similar to > Liskov and Shrira's promises as part of the Xanadu (aka Udanax Gold) work < > http://web.archive.org/web/20071023111712/http://www.sunless-sea.net/Transcripts/promise.html>. > Afterwards, we found out about their 1988 paper < > http://portal.acm.org/citation.cfm?idT016>, and so have consistently given > them credit for inventing the idea first, as they did. > > ... > > _______________________________________________ > e-lang mailing list > [email protected] > http://www.eros-os.org/mailman/listinfo/e-lang > > _______________________________________________ e-lang mailing list [email protected] http://www.eros-os.org/mailman/listinfo/e-lang