[Haskell-cafe] Faster set intersections?

Clinton Mead clintonmead at gmail.com
Mon Dec 10 23:50:15 UTC 2018

> One can write a function
> Eq a => ((a -> Bool) -> a) -> [a]
> that enumerates the elements of the set. Because we have universal
> quantification, this list can not be infinite. Which makes sense,
> topologically: These so-called searchable sets are topologically compact,
> and the Eq constraint means the space is discrete. Compact subsets of a
> discrete space are finite.
> Olaf
Olaf (or anyone else), can you help me out here and write this function,
with some example inputs and outputs?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20181211/05857263/attachment.html>

More information about the Haskell-Cafe mailing list