Revision as of 19:10, 11 November 2008 by Conal
Abstractunamb is a package containing the unambiguous choice operator
, which wraps thread racing up in a purely functional, semantically simple wrapper. Given any two arguments
that agree unless bottom, the value of
is the more terminating of
unamb u v
. Operationally, the value of
becomes available when the earlier of
unamb u v
does. The agreement precondition ensures unamb's referential transparency. For more info about
and its use, see the paper Simply Efficient Functional Reactivity, sections 10 and 11.
was originally a part of Reactive. I moved it to its own package in order to encourage experimentation.
Besides this wiki page, here are more ways to find out about unamb:
- Visit the Hackage page for library documentation and to download & install.
- Or install with cabal install unamb.
- Get the code repository: darcs get http://code.haskell.org/unamb.
Please leave comments at the Talk page.