« Premiers pas en OCaml/Types primitifs » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (-l'[[ +l’[[) |
m Robot : Remplacement de texte automatisé (- d'être + d’être ) |
||
Ligne 23 :
== Préambule ==
OCaml est [[w:Typage_statique|statiquement typé]]. Pourtant le type n'a, la plupart du temps, pas besoin
Il utilise l’[[w:Inférence_de_types| inférence de type]] pour déterminer à la compilation le type d'une expression.
Voyons quelques exemples de type qu'OCaml est capable de reconnaître.
|