Discussion :

[Amnael]

Bonjour, pourriez vous m'aider à comprendre comment évaluer la fonction suivante

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
let rec filtrer = fun p -> function
          | [] -> []
          | x::l -> if p x then x::(filtrer p l) else filtrer p l;;

la fonction filter prend un premier argument. Etant donné que l'on a dans le code if p x alors on peut déduire que p est une fonction renvoyant un boolean.
filter renvoit également une liste


Si je m'arrête là, la logique voudrait que cette fonction soit évalué par

('a-> bool) -> 'a list


Sauf que la bonne évaluation est

('a-> bool) -> ('a list) -> 'a list

Je vois bien que l'un des arguments de la fonction est une liste vu qu'on matche une liste...mais pourtant ça ne me parle pas du tout quand je vois la fonction écrite ainsi


J'aurais plutôt écris

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
let rec filtrer = fun p -> fun l1 -> match l1 with
          | [] -> []
          | x::l -> if p x then x::(filtrer p l) else filtrer p l;;

Je trouve cette écriture bien plus logique et compréhensible...en un coup d'oeil on voit ce qu'il se passe.


Là, on a remplacé le fun l1 -> match l1 with par function....et je ne comprends pas cette écriture là...

En espérant que vous ayez compris mon problème^^

[SpiceGuid]

Le mot-clé function ... est une sorte de raccourci pour fun v -> match v with ... où la variable v devient anonyme.

On pourrait aussi écrire :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
let rec filtrer p = function
  | [] -> []
  | x::l -> if p x then x::filtrer p l else filtrer p l;;

Ce ne sont que des variantes syntaxiques.
Il n'y a aucune différence entre elles.

[Amnael]

Le mot-clé function ... est une sorte de raccourci pour fun v -> match v with ... où la variable v devient anonyme.

On pourrait aussi écrire :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
let rec filtrer p = function
  | [] -> []
  | x::l -> if p x then x::filtrer p l else filtrer p l;;

Ce ne sont que des variantes syntaxiques.
Il n'y a aucune différence entre elles.

Merci beaucoup pour ta réponse, je trouve quand même que...même si le code est plus court, on perd en lisibilité lorsqu'il faut maintenir. Je ne vois vraiment pas quel intérêt on peut avoir à cacher une variable ainsi...

Quoi qu'il en soit, merci.

[SpiceGuid]

En Java il y a la notion d'arité :

• une méthode possède un nombre fixe et défini d'arguments
• lorsqu'on appelle cette méthode il faut lui fournir exactement ce nombre d'arguments, sinon il y a erreur

En (O)Caml la notion d'arité n'existe pas :

• on n'appelle pas une fonction, on lui applique un argument
• même si la fonction semblait attendre plus ou moins d'arguments il n'y a pas forcément d'erreur

En Java l'identité aurait exactement un argument :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

let id x = x

En (O)Caml l'identité accepte un nombre quelconque d'arguments :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

id id (+) 1 2;;

Du coup, comme il n'y a pas de notion d'arité, il n'y a pas le critère de lisibilité qui va avec (identifier clairement et lisiblement le nombre d'argument).

Ce qui compte c'est le type fonctionnel que (O)Caml va inférer, le reste on s'en fiche complètement.

Il y a une façon peut être moins alambiquée d'expliquer ça à un programmeur Java.
Imagine que filter_of_list est une classe pour filtrer les listes.

Un constructeur pour cette classe pourrait être make_filter_of_list qui, étant donné un prédicat p, renvoie un objet qui peut filtrer une liste selon p :

Code Caml :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
let rec make_filter_of_list p =
  function
  | [] -> []
  | x::l -> if p x then x::make_filter_of_list p l else make_filter_of_list p l;;

Créer un filtre de liste qui élimine tous les "mauvais" éléments :

Code OCaml :

Sélectionner tout - Visualiser dans une fenêtre à part

make_filter_of_list (function `Bon _ -> true | `Mauvais _ -> false);;

Et c'est plus court que :

Code OCaml :

Sélectionner tout - Visualiser dans une fenêtre à part

make_filter_of_list (fun x -> match x with `Bon _ -> true | `Mauvais _ -> false);;