Sun Feb 17 20:46:58 CET 2013


Also mentioned in [1].  Looks like promises are means of constructing
DAGs, i.e. result events in terms of (pure) operations on intermediate
events, but they also have a sort of "Maybe monad" built in, in that
breaking of promises can propagate, just like proper result values.

The promises are based on the idea of Futures, which Racket has an
implementation of[2].

[1] http://www.youtube.com/watch?v=b0EF0VTs9Dc
[2] http://docs.racket-lang.org/reference/futures.html