« Premiers pas en OCaml/Types primitifs » : différence entre les versions
Contenu supprimé Contenu ajouté
m message récent |
m →Préambule : légèrement plus précis |
||
Ligne 23 :
== Préambule ==
OCaml est [[w:Typage_statique|statiquement typé]]. Pourtant le type n'
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.
== Les entiers (''Integer'') ==
| |||