[Haskell] Re: type class instance selection & search
conal at conal.net
Tue Jul 31 19:05:09 EDT 2007
Thanks for these pointers, Ken. And belated thanks to Oleg for his reply in
June. Impressive tricks!
Perhaps I'm not the only person who'd prefer a more straightforward
formulation of backtracking search? Cheers,
On 7/31/07, Chung-chieh Shan <ccshan at post.harvard.edu> wrote:
> Conal Elliott <conal at conal.net> wrote in article <
> ea8ae9fb0707311208j9f3fcf7m92bef8f54aea3dd8 at mail.gmail.com> in
> > I keep running into situations in which I want more powerful search in
> > selecting type class instances.
> I agree that it's quite useful for instance search to backtrack, if not
> desirable in all cases. Proof search is program search, after all.
> Of course, allowing undecidable instances, we can build backtracking
> into instance search ourselves by representing the state of a
> backtracking machine as a type. http://okmij.org/ftp/Haskell/poly2.txt
> Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig
> And if thou gaze into the abyss, the abyss...actually finds you pretty
> Haskell mailing list
> Haskell at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell