Type unité
Untype unitéest untypemathématique avec une seule valeur.
L'ensemble associé avec le type unité peut être n'importe quel ensemble singleton. Il y a unisomorphismeentre deux tels ensembles, donc on parle souvent « du » type unité et on ignore les détails de cette valeur. On peut aussi considérer le type unité comme un 0-uplet,c’est-à-dire unproduit cartésiende zéro type.
Enthéorie des catégories,le type unité est unobjet terminaldans beaucoup de catégories basées sur lesensembles. Le type unité ne doit pas être confondu avec lezérooutype vide,qui ne contientaucunevaleur et est l'objet initialde ces catégories.
Type unité dans les langages de programmation[modifier|modifier le code]
Plusieurslangages de programmation,en particulier deslangages fonctionnelstelsHaskell,MLetScala,utilisent le type unité pour spécifier
- le type retourné par unefonctionqui n’effectue que deseffets de bord,
- ainsi que le type d'argument d'une fonction qui ne requiert pas d'argument.
EnML(resp.Scala), ce type est notéunit(resp.Unit) et son unique valeur(),reflétant l'interprétation de 0-uplet.
EnHaskelletClean,le type unité comme sa valeur sont notés().
Dans deslangages impératifstels queC,C++,C#,etJava,le typevoidremplit le même usage. Cependant, ces langages ne fournissent pas de moyen de déclarer un objet ou de représenter une valeur de typevoid,ce qui, au sens strict, rend le typevoiddifférent du type unité.
Voir aussi[modifier|modifier le code]
Références[modifier|modifier le code]
- Pierce, Benjamin, 2002.Types and Programming Languages.MIT Press.(ISBN0-262-16209-1)
