« Premiers pas en OCaml/Types primitifs » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (-\b([Qq])ue ([AEIOUaeéèêiou]) +\1u'\2) |
|||
Ligne 25 :
OCaml est [[w:Typage_statique|statiquement typé]]. Pourtant le type n'est jamais explicitement donné. 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
== Les entiers (''Integer'') ==
| |||