Permalink
Switch branches/tags
Nothing to show
Find file
Fetching contributors…
Cannot retrieve contributors at this time
26 lines (19 sloc) 939 Bytes
unamb [1] contains the "unambiguous choice" operator "unamb" [2], which
wraps thread racing up in a purely functional, semantically simple
wrapper. Given any two arguments u and v that agree unless bottom, the
value of unamb u v is the more terminating of u and v. Operationally, the
value of unamb u v becomes available when the earlier of u and v does.
The agreement precondition ensures unamb's referential transparency.
unamb was originally a part of Reactive [3]. I moved it to its own
package in order to encourage experimentation.
Please share any comments & suggestions on the discussion (talk) page at
[1].
You can configure, build, and install all in the usual way with Cabal
commands.
runhaskell Setup.lhs configure
runhaskell Setup.lhs build
runhaskell Setup.lhs install
References:
[1] http://haskell.org/haskellwiki/unamb
[2] http://conal.net/papers/simply-reactive
[3] http://haskell.org/haskellwiki/reactive