« 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 d'êtred’être écrit explicitement. C'est l'un des points forts de OCaml.
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.