Macro de Verificação de Tipos Emacs Lisp: declare-type

Este artigo apresenta `declare-type`, uma macro Emacs Lisp para verificação de tipos em tempo de execução de argumentos de função. Usando o mecanismo de advice, adiciona verificações de tipos antes da execução da função. `declare-type` suporta argumentos opcionais e especificações de tipos complexas, detectando argumentos insuficientes ou incompatibilidades de tipo. Embora atualmente não suporte variáveis de tipo e relacionamentos de tipo sofisticados, fornece uma verificação de tipo básica robusta para melhorar a segurança do código Emacs Lisp.