Macro de Verificación de Tipos Emacs Lisp: declare-type

Este artículo presenta `declare-type`, una macro de Emacs Lisp para la verificación de tipos en tiempo de ejecución de los argumentos de una función. Aprovechando el mecanismo de advice, agrega comprobaciones de tipos antes de la ejecución de la función. `declare-type` admite argumentos opcionales y especificaciones de tipos complejas, detectando argumentos insuficientes o incompatibilidades de tipo. Si bien actualmente no admite variables de tipo y relaciones de tipo sofisticadas, proporciona una verificación de tipo básica robusta para mejorar la seguridad del código de Emacs Lisp.