Emacs Lisp 类型检查宏：declare-type

本文介绍了一个名为 `declare-type` 的 Emacs Lisp 宏，用于在函数调用前检查参数类型。该宏通过 advice 机制，在目标函数执行前添加类型检查逻辑，支持可选参数和类型规范，并能检测参数数量不足或类型不匹配等错误。虽然目前不支持类型变量和更复杂的类型关系，但已能满足大部分基本类型检查需求，为 Emacs Lisp 代码的类型安全提供了有力保障。