. . . . . . . . . . . . . . . . . . "Le type vide est en th\u00E9orie des types un type qui ne comporte pas de valeurs. On l'abr\u00E8ge commun\u00E9ment par bot (de bottom type), le symbole ou par l'approximation ASCII _|_.On l'appelle aussi parfois type z\u00E9ro. Il ne faut pas le confondre avec le type top ou le type unit\u00E9. Le type top comprend toutes les valeurs d'un syst\u00E8me. Le type unit\u00E9 a une seule valeur. On utilise souvent le type vide dans les cas suivants : \n* Pour signifier le faux. Il peut \u00EAtre employ\u00E9 pour d\u00E9finir la n\u00E9gation et exprimer l'axiome ex falso sequitur quodlibet : Pour toute proposition : . Hormis en logique minimale que rejette cet axiome, le type vide d\u00E9signe donc par voie de cons\u00E9quence, l'absurdit\u00E9, l'\u00E9tat d'incoh\u00E9rence du syst\u00E8me. \n* Pour signaler qu'une fonction ou un calcul diverge ; en d'autres termes, il ne retourne pas de r\u00E9sultat \u00E0 l'appelant. Cela ne signifie pas n\u00E9cessairement que le programme ne se termine pas ; une fonction peut terminer sans retourner \u00E0 son appelant, ou sortir par un moyen autre qu'un retour normal, par exemple via une continuation. \n* Pour indiquer une erreur ; cela arrive principalement dans des langages th\u00E9oriques dans lesquels les distinctions entre les erreurs ne sont pas importantes. Les langages de programmation pratiques utilisent une gestion d'exceptions \u00E0 la place."@fr . . . . . . . "1950900"^^ . . "Type vide"@fr . . . . . "3279"^^ . . . "\u041D\u0438\u0437\u0448\u0438\u0439 \u0442\u0438\u043F"@ru . . . "\u30DC\u30C8\u30E0\u578B"@ja . "190282219"^^ . "Le type vide est en th\u00E9orie des types un type qui ne comporte pas de valeurs. On l'abr\u00E8ge commun\u00E9ment par bot (de bottom type), le symbole ou par l'approximation ASCII _|_.On l'appelle aussi parfois type z\u00E9ro. Il ne faut pas le confondre avec le type top ou le type unit\u00E9. Le type top comprend toutes les valeurs d'un syst\u00E8me. Le type unit\u00E9 a une seule valeur. On utilise souvent le type vide dans les cas suivants :"@fr . .