Ubuntu-fr

reaver

question très basique: définition d'un type -> caml

Bonsoir,
je sollicite votre aide sur une question terre à terre en Caml, et peut être  valable dans tous les langages .
On me parle de fonction qui aura pour signature :
déterminant : vecteur -> vecteur -> int = <fun>
que signifie cette dernière écriture avec les flèches entre "vecteurs" et le int. En gros je ne comprend pas la dernière ligne de "déterminant".
Désolé je suis trop nul en info.
Merci d'avance pour votre aide

Yannick_LM

Re : question très basique: définition d'un type -> caml

Alors, Caml est un langage de programmation Typé. Cela veut dire que dès que tu définis une variable, tu dois définir son type.
Il y a des types simples : entiers, booléens, chaîne
des types composés, comme int list : une liste d'entiers
des types que du définis toi même. (ça doit être le cas de vecteur)
ou encore ... des fonctions

(en caml, il n'y a pas vraiment de différence entre une variable et une fonction)

Donc, la ligne :
déterminant : vecteur -> vecteur -> int = <fun> te donne le type de ta variable déterminant : c'est une fonction (<fun>)
Une fonction prend un ou plusieurs arguments et renvoie un résultat.
Les types de ces arguments sont donnés les uns après les autres, séparés par des flèches, le dernier étant le type du résultat.
La, on te dit que la fonction déterminant prend deux vecteurs en argument et renvoit un entier.

Voilà.

---

Trucs et astuces pour Vim
Ma web page  avec des trucs dessus ...

reaver

Re : question très basique: définition d'un type -> caml

YANNICK, je te remercie infiniment, c'est trop gentil ^^