Macro de vérification de types Emacs Lisp : declare-type
2025-05-04
Cet article présente `declare-type`, une macro Emacs Lisp permettant de vérifier les types des arguments d’une fonction au moment de l’exécution. En utilisant le mécanisme d’advice, elle ajoute des vérifications de types avant l’exécution de la fonction. `declare-type` prend en charge les arguments optionnels et les spécifications de types complexes, détectant les arguments insuffisants ou les incompatibilités de type. Bien qu’elle ne prenne pas encore en charge les variables de type et les relations de types sophistiquées, elle offre une vérification de type robuste et basique pour améliorer la sécurité du code Emacs Lisp.
Développement
vérification de types