Bonjour,
j´ai vraiment du mal a comprendre ce qu´est une fonction d´ordre supereir..
quelqu´un pourrait -il m´expliquer ?
j´apprend le ocaml et ça parle de ça mais j´ai pas vraiment compris...
merci d´avance

superieur * désolé

par exemple en ocaml je comprends pas ce que fait :

let h = function f -> function y -> (f y) + y

et jai cherché sur google ce qu´etait une fonction d´ordre superieur, jcompris la def mais je comprends pas dans le langage

En gros, une fonction d´ordre supérieur estune fonction qui à une fonction associe une autre fonction. (je n´ais jamais entendue ce terme, mais c´est ce que fait ton programme en tout cas).

let h = function f -> (function y -> (f y) + y);;
les parenthèse te montre un peu plus ce qui se passe : tu donne à la fonction h une fonction (qui s´appelle f ici) et h renvoie une autre fonction (disons que c´est g) défini par :
g(y)=f(y)+y

tu peut par exemple écrire :
let f=function x -> 3*x;;
let g=h f;;
g 2;;
et ça renvoie 8 car c´est f(2)+2=3*2+2=8

d´accord, merci bien

parceque aussi au niveau du type calculé il me met :

1. let h = function f -> function y -> (f y) + y ;;

val h : (int -> int) -> int -> int = <fun>

et quand j´ai voulu essayé une valeur, que je mette nimporte quoi genre:
h 5;;
ou h 5 3;; ou h(5 3) etc il me met que ca va pas au niveau des types, comme par exemple "This expression has type int but is here used with type int -> int" alors bon

cest bon je crois que j´ai compris..c´est comme en maths en gros, f o g = f(g(x))..

oui, le type (int -> int) c´est une fonction qui prend un int et en renvoie un autre. Et non pas deux int (d´où les parenthèse, qu´il n´y a pas normallement).

une dernière question car j´ai pas compris non plus, que fait :

let h = function f -> function y -> (f y y) ;;

encore merci

ben ça c´est une fonction qui à une fonction qui prend deux arguments renvoi là même fonction où les deux arguments sont les même :

let f x y =cos(x)*.sin(y);;
(h f) est la fonction qui a x associe cos(x)*.sin(x)

ok merci