<html><head><style type='text/css'>p { margin: 0; }</style></head><body><div style='font-family: Times New Roman; font-size: 12pt; color: #000000'>You could, but then we would be getting way too many operators. In many ways the pure term comparison operators maybe be more needed as they would clean up issues with ordering terms (you can have two terms in which one is not greater or less than the other but they are not equal). If we wish to have specific operators then we could have two different prefixes for whether they are term or numeric comparisons, for example @ for term and : for numeric:<br><br>@== @/= @=< @< @>= @><br>:== :/= :=< :< :>= :><br><br>Then phase out the old ones completely. This is the only way without causing too much grief.<br><br>The question is, of course, how many problems do the existing operators actually cause, and is it worth trying to fix it?<br><br>Robert<br><br>----- "H. Diedrich" <hd2010@eonblast.com> wrote:
<br>>
<div class="moz-text-flowed" style="font-family: -moz-fixed; font-size: 13px;" lang="x-unicode">> Robert
Virding schrieb:
<br>>
<blockquote>The comparison operators as they are now
were a mistake, almost a bad mistake. IMAO what we should have done was
to have had two different sets of operators, one set of numeric
comparisons (without type conversion) and one set of gerneral term
comparisons (without type conversion). So for example:
<br>>
<br>>
== /= =< < >= > would only work on numbers
<br>>
@== @/= @=< @< @>= @> would work on all terms
<br>>
<br>>
Note that the existing =:= =/= are the same as @== @/= in my scheme
above.
<br>>
<br>>
We could add the full set of term comparison operators, but not change
the existing operators
<br>>
</blockquote>
So you could introduce the @ variants for numbers only instead. How
about a triple sign notation for "strictness", as ===, /==, ==< ...
!? Well ... <=< ... :-<
<br>>
<br>>
<br>>
Henning</div>
<br>> _______________________________________________
erlang-questions mailing list
erlang-questions@erlang.org
http://erlang.org/mailman/listinfo/erlang-questions
</div></body></html>