Type vide

Le type vide est en théorie des types un type qui ne comporte pas de valeurs. On l'abrège communément par bot (de bottom type), le symbole ( ⊥ {\displaystyle \bot } ) ou par l'approximation ASCII _|_. On l'appelle aussi parfois type zéro. Il ne faut pas le con…