« Premiers pas en OCaml/Types primitifs » : différence entre les versions

Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (-qu'il +qu’il)
m Robot : Remplacement de texte automatisé (-l'[[ +l’[[)
Ligne 24 :
 
OCaml est [[w:Typage_statique|statiquement typé]]. Pourtant le type n'a, la plupart du temps, pas besoin d'être écrit explicitement. C'est l'un des points forts de OCaml.
Il utilise l'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.