[Haskell-cafe] What's the best way to give up?
Brandon S. Allbery KF8NH
allbery at ece.cmu.edu
Sat Sep 6 11:10:34 EDT 2008
On 2008 Sep 6, at 7:30, David F. Place wrote:
> Say I have a function solve which is a constraint solver. It
> reconfigures its input to be a solution. If there is no solution,
> it returns the input.
> solve :: a -> Either a a
> solve input output = maybe (Left input) Right $ solve' input
> If there is a solution, it finds it in a few seconds. If there is
> no solution, it goes away for days proving that. So, I'd like to
> give up on it if it doesn't return in a few seconds.
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university KF8NH
More information about the Haskell-Cafe