Discussion :

[vcent.1]

Bonjour, je suis un étudiant en licence de math/info et je viens de commencer l'apprentissage du langage Caml.
Cependant l'exercice suivant me pose certaines difficultés :
Indiquez l'interprétation de l'expression suivante :

Code :

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

#let fc a b c d = a b c + if d=(0,0) then b c else c ;;

je sais que la réponse est :

Code :

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

((int -> int) -> int -> int) -> (int -> int) -> int -> int * int -> int = <fun>

seulement je n'ai aucune idée de pourquoi on y trouve des parenthèse..

Si quelqu'un pouvait m'accorder un peut de temps pour m'expliquer l'objectifs de ces parenthèse, et la manières de les voir, j'en serai vraiment reconnaissant!

En vous remerciant d'avance

[cvanaret]

Hello,
On va y aller pas à pas :

Code :

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

let fc a b c d = a b c + if d=(0,0) then b c else c ;;

On identifie fc comme une fonction puisqu'elle prend 4 paramètres. On aura un type du genre : t1 -> t2 -> t3 -> t4 -> r
où t1, t2, t3, t4 sont les types des paramètres et r le type de retour.

Ensuite on pose des contraintes sur ces types en lisant le code :

Code :

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

a b c

est un appel de fonction. Donc a est une fonction et b et c ses arguments. Le type t1 de a peut donc être mis à jour en : t5 -> t6 -> t7
avec t5 et t6 les types de ses paramètres et t7 son type de retour.
Or a est appelée sur b et c, donc t5 = t2 et t6 = t3.

On a :

Code :

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

a b c + un truc

donc t7 est int (+ est l'addition entière). Donc a est de type t2 -> t3 -> int

Pour le moment, le type de notre fonction fc est : (t2 -> t3 -> int) -> t2 -> t3 -> t4 -> r

Est-ce que tu peux terminer l'analyse par toi-même ?