## 7.2.5 Relations

Page 174 of 800 |
| Search internet |

The relations `[x < y]`, `[x <= y]`, `[x > y]`, and `[x >= y]` have the usual behavior when applied to integers. Some examples read:

Note that

means

These relations throw exceptions when applied to non-integers.

The relations `[x = y]` and `[x != y]` can compare more than integers. Here are some examples:

Again, note that

means

For more on see the section on tuples.

refuses to compare exceptions and cannot do anything sensible with bottom:

Every now and then may give a surprise:

But that happens just because represents not only truth but is also used for representing the empty tuple, the empty array, and other empty structures, c.f. Truth and falsehood.

Page 174 of 800 |
| Search logiweb.eu |

Copyright © 2010
Klaus Grue,
GRD-2010-01-05