<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <meta content="text/html;charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
<div class="moz-text-flowed"
 style="font-family: -moz-fixed; font-size: 13px;" lang="x-unicode">Robert
Virding schrieb:
<br>
<blockquote type="cite">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>
</body>
</html>