[Haskell-cafe] What's the best way to give up?
David F. Place
d at vidplace.com
Sat Sep 6 07:30:46 EDT 2008
Hi, all.
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. I can think of
several ways of doing that. I could keep a tally of the number of
variable assignments and give up when it reaches an impossibly huge
number. I could change the type to
a -> IO (Either a a ) and use getCPUTime.
Is there a standard way to do this? Can you think of another way to
do it?
Cheers,
David
More information about the Haskell-Cafe
mailing list