OCAML Tri par selection du minimum

[Gregoirdedu89]

Bonjour, je souhaite créer une fonction selectionne : ('a -> 'a -> bool) -> 'a list -> 'a.

(selectionne inf 1) calcule le minimum de la liste 1 par rapport à la fonction de comparaison inf (passée en paramètre).

Par exemple, (selectionne (<=) ['b' ; 'a' ; 'd' ; 'c']) retourne le caractère 'a', et (selectionne (>) [2 ; 1 ; 4 ; 3] retourne l'entier 4.

Voila donc j'ai essayé plusieurs méthodes tels deux fonctions réunis
insere_comparaison et tri_insertion mais ça ne retourne pas les types que je souhaite...

[Monsieur23]

Aloha,

Tu peux définir une fonction auxiliaire Foo de type (a -> a -> Bool) -> a list -> a -> a qui prend en plus de ta fonction un objet X de type a, et qui renvoie le plus grand objet de la liste qui soit plus grand que X. La partie principale du code serait

Foo f (u::L) X = si (f u X) alors (Foo f L u) sinon (Foo f L X).

Tu n'as plus qu'à définir ta fonction comme (Foo f L (L.hd)).

[Doraki]

t'es supposé avoir quoi quand tu demandes selectionne (<=) [] ?