<div dir="ltr"><div>In practice, I hear people talking about "disjoint" sets all the time—it comes up a lot more often than "overlapping" or "not overlapping". It might have a negative in the name semantically, but it's used as an atomic word in practice. (That is, when people say "disjoint" they're *thinking* "disjoint" as opposed to "not joint" or "not overlapping".)<br><br></div>I'm in favor of naming functions with common usage in mind, and I think "disjoint" is the word people use most often in this context.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Dec 19, 2017 at 7:44 AM, Henning Thielemann <span dir="ltr"><<a href="mailto:lemming@henning-thielemann.de" target="_blank">lemming@henning-thielemann.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><br>
On Tue, 19 Dec 2017, Víctor López Juan wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I'm thinking that `disjoint` is already a negation:<br>
(dis- (not) + joint (united)). When composing with `not`, the user gets<br>
a double negation `not (disjoint x y)`. There is a then a small mental<br>
effort required to go from "not disjoint" to "overlapping".<br>
<br>
If we are going to have only one of the two properties, I would rather<br>
have the positive one (`overlaps`) as primitive. Then `disjoint` would<br>
be written "not (overlaps x y)", which reads quite easily.<br>
(Or even "not (x `overlaps` y)").<br>
</blockquote>
<br></span>
I also dislike double negation and think that 'disjoint' is one. I'd prefer to see both 'overlap' and 'disjoint'.<br>______________________________<wbr>_________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/libraries</a><br>
<br></blockquote></div><br></div>