Re: [Caml-list] Documentation challenges for the application of comparison functions

[Markus Elfring <Markus.Elfring@web.de>]

> It's not equivalent per se, since you lose the flexibility to call the function with e.g.
>
> let find_float_int ~(cmp : float -> int -> int) (index : float) (map : (int, 'c)) =
>   find ~cmp index map;;

I guess that there is the detail to reconsider if comparisons should be performed
with different data types (which corresponding to special properties of
such a programming interface).


> where 'a = float and 'b = int. However, it is valid

Thanks for such a view.


> -- and arguably describes the function's contract better -- to narrow the function's type by combining the type variables:

I would interpret involved aspects in further directions.


> let find : cmp:('a -> 'a -> int) -> 'a -> ('a, 'b) t = find;;

The elements of a data container like “Map” should usually refer to the same data type,
shouldn't they?

I am curious then under which circumstances a type like “Comparable” can be applied instead.
Will any “…able” types become more popular?

Regards,
Markus