J'ai oublié, panic c'est la règle d'élimination de l'absurde : le programmeur est tombé sur une contradiction, et au lieu de chercher à la comprendre, pour proposer une solution, il a paniqué. ;-)
Pour pouvoir valider le type de unwrap, il faut que panic produise le type T que l'on a en cas de succès, quelque soit le type E des erreurs. Le type de panic produit le type qu'il veut en sortie quelque soit son type d'entrée, c'est à dire l'élimination de l'absurde ou le principe ex falso quodlibet (du faux, fait ce qu'il te plait).
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
[^] # Re: ~~Prem's~~
Posté par kantien . En réponse au lien Cloudflare : incident du 18-nov post mortem (un vilain unwrap en Rust). Évalué à 2. Dernière modification le 21 novembre 2025 à 17:45.
J'ai oublié,
panicc'est la règle d'élimination de l'absurde : le programmeur est tombé sur une contradiction, et au lieu de chercher à la comprendre, pour proposer une solution, il a paniqué. ;-)Pour pouvoir valider le type de
unwrap, il faut quepanicproduise le typeTque l'on a en cas de succès, quelque soit le typeEdes erreurs. Le type depanicproduit le type qu'il veut en sortie quelque soit son type d'entrée, c'est à dire l'élimination de l'absurde ou le principe ex falso quodlibet (du faux, fait ce qu'il te plait).Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.