>Not a bad idea. Just because something is standard and pretty
>much necessary really doesn't mean it is obvious.
>In the mean time, I suggest that mixing integers and floats in
>a single sort is problematic in one way or another in most
>dynamically typed languages. For example, in one otherwise
>sensible language, it is possible to find numbers X, Y, Z such
>that X =:= Y and Y =:= Z but X < Z.
Is it only the mixing of integers and floats that is problematic? If
so, a floatcompare/3 nd intcompare/3 might make sense?
Aren't floats in general not the best candidates for compare/3,
as equality is problematic?
_______________________________________________
SWI-Prolog mailing list
SWI-Prolog@...
https://mailbox.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
