La gestion des erreurs

Au programme une discussion sur :

Les différents types d’erreurs
- préconditions non remplies
- post-conditions non remplies
- erreur irrécupérable

Qui doit s’en occuper :
- le programmeur (le code est bogué, …)
- le code qui appelle la fonction (l’erreur est attendue ou récupérable, …)
- l’utilisateur (un service externe n’a pas été démarré, …)

Et enfin on parlera de propagation des erreurs, des différents choix d’implémentation (exception, code d’erreur ou union taggué), et de l’impact de la syntaxe.