On Wed, Dec 28, 2022 at 05:23:16AM +0100, Emanuel Berg wrote:

[...]

> It's much better if the function itself checks what type the value
> is of and pick a suitable function to compare from that, then the
> user don't have to think about that at all.

Alas, the types don't always carry enough info to know what
comparison that squishy human behind the glass wants. I guess
if they did, they'd be boring to the point of being obnoxious
(perhaps a corollary of Rice's [1] theorem?).

This was the dream of object oriented programming ("Kids, go
compare yourselves").

Cheers

[1] https://en.wikipedia.org/wiki/Rice%27s_theorem
-- 
t