|Subject:||RE: [Haskell-cafe] Re: no sparks?|
|Date:||Mon, 21 Dec 2009 17:07:20 -0000|
\a b -> Left a `amb` Right b
From: [email protected] [mailto:[email protected]] On Behalf Of Jamie Morgenstern
Sent: 21 December 2009 16:50
To: Benedikt Huber
Cc: [email protected]
Subject: [Haskell-cafe] Re: no sparks?
I've been thinking about this problem generally, not just in the Haskell setting. It makes sense (in the very least, with theorem proving)
a p|| b
to return the value of a or b, whichever returns first, wrapped in a constructor which would allow you to case analyze which result returned
case (a p|| b) of
(1, Xa) = ...
(2, Xb) = ...
On Sun, Dec 20, 2009 at 8:52 PM, Benedikt Huber <[email protected]> wrote:
Daniel Fischer schrieb:
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [Haskell-cafe] Are functional dependencies around to stay?, Andrey Sisoyev|
|Next by Date:||Re: [Haskell-cafe] GHC 6.12 on OS X 10.5, Tom Tobin|
|Previous by Thread:||[Haskell-cafe] Re: no sparks?, Jamie Morgenstern|
|Next by Thread:||Re: [Haskell-cafe] no sparks?, Gregory Crosswhite|
|Indexes:||[Date] [Thread] [Top] [All Lists]|