Exceptions

        Il existe un dispositif de gestion des cas exceptionnels. En appliquant la primitive raise à une valeur exceptionnelle, on déclenche une erreur. De façon symétrique, la construction syntaxique try calcul with filtrage permet de récupérer les erreurs qui se produiraient lors de l'évaluation de calcul. La valeur renvoyée s'il n'y a pas d'erreur doit être du même type que celle renvoyée en cas d'erreur dans la partie with de la construction. Ainsi, le traitement des situations exceptionnelles (dans la partie with) est disjoint du déroulement normal du calcul. En cas de besoin, le programmeur définit ses propres exceptions à l'aide de la construction exception nom-de-l'exception;; pour les exceptions sans argument; ou exception nom-de-l'exception of type-de-l'argument;; pour les exceptions avec argument. L'argument des exceptions permet de véhiculer une valeur, de l'endroit où se produit l'erreur à celui où elle est traitée (voir plus loin).