This has already been mostly answered by Ben's post, but to rephrase this, basically you do intersection by producing the function which returns the AND of the two functions given, and union by producing the function which gives the OR of the two functions given. Complement is just logical NOT. Basically, any set operation you want turns into a logical operation using as information just a single arbitrary point, and the two (or more) predicates given. You can also do arithmetic on the sets by modifying the incoming point in a suitable way before passing it on to the predicate. - Cale On Wed, 27 Oct 2004 21:36:55 +0900, Stijn De Saeger <stijndesaeger@gmail.com> wrote:
That seems like a very clean way to define the sets indeed, but how would you go about implementing operations like intersection, complement etc... on those structures? define some sort of algebra over the functions? or extend such sets by adding elements? hm... sounds interesting,.
thanks, stijn.
On Wed, 27 Oct 2004 11:52:54 +0100, Keean Schupke
<k.schupke@imperial.ac.uk> wrote:
I think someone else mentioned using functions earlier, rather than a datatype why not define:
data Interval = Interval { isin :: Float -> Bool }
Then each range becomes a function definition, for example:
myInterval = Interval { isin r | r == 0.6 = True | r > 0.7 && r < 1.0 = True | otherwise = False }
Then you can test with:
(isin myInterval 0.6)
Keean
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe