Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] ocaml-3.05: a performance experience
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Andreas Rossberg <rossberg@p...>
Subject: Re: [Caml-list] ocaml-3.05: a performance experience
Noel Welsh wrote:
> > > I'm intrigued by the relationship between these
> > two parsers.
> I wonder if this is related to the difference between
> lazy and strict evaluation.

It is related to implicit data-flow synchronisation via futures (of
which lazy futures are one instance). See:

  author = "Robert Halstead",
  title = "Multilisp: A Language For Concurrent Symbolic Computation",
  journal = "{ACM} Transactions on Programming Languages and Systems",
  volume = 7,
  number = 4,
  pages = "501--538",
  year = 1985,
  month = oct,

    author = "Cormac Flanagan and Matthias Felleisen",
    title = "The Semantics of Future and Its Use in Program
    booktitle = "22nd {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles
of Programming Languages (POPL'95)",
    address = "San Francisco, California",
    pages = "209--220",
    year = "1995",
    url = ""

[I believe there is also a more recent journal version of this paper.]

  author = {Joachim Niehren and Jan Schwinghammer and Gert Smolka},
  title = {Concurrent Computation in a Lambda Calculus with Futures},
  institute = {Programming Systems Lab, Universit\"at des Saarlandes},
  year = {2002},
  month = jun,
  note = {Submitted},
  url = "",

Andreas Rossberg,

"Computer games don't affect kids; I mean if Pac Man affected us
 as kids, we would all be running around in darkened rooms, munching
 magic pills, and listening to repetitive electronic music."
 - Kristian Wilson, Nintendo Inc.
To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: