Sauf que si on fait des pattern matching corrects, on termine toujours par un cas
| _ -> raise unmatched_entry
ce qui permet de ne pas avoir à modifier les cas où l'on sait, par un argument X ou Y, qu'on ne donnera jamais à manger le mauvais type. Ou si on est sale, on ne rajoute pas ce cas et on laisse le compilateur râler en disant que des cas ne sont pas gérés.
Dans tous les cas, ce n'est pas plus lourd qu'avec du typage dynamique.
[^] # Re: pourquoi le lisp
Posté par Zakath . En réponse à la dépêche Sortie de SBCL 1.0. Évalué à 2.
| _ -> raise unmatched_entry
ce qui permet de ne pas avoir à modifier les cas où l'on sait, par un argument X ou Y, qu'on ne donnera jamais à manger le mauvais type. Ou si on est sale, on ne rajoute pas ce cas et on laisse le compilateur râler en disant que des cas ne sont pas gérés.
Dans tous les cas, ce n'est pas plus lourd qu'avec du typage dynamique.