Декларации указывают Lisp системе дополнительную информацию о вашей программе. Однако декларации абсолютно необязательные и корректность деклараций не означает корректность программы. Исключением являются декларации special, которые влияют на интерпретацию связывания переменной и ссылки на неё, и должны указывается там, где необходимо. Все другие декларации носят рекомендательный характер, и могут использоваться Lisp системой для создания дополнительных проверок ошибок или более производительного скомпилированного кода. Декларации также являются хорошим способом задокументировать программу.
Следует отметить, что нарушение декларации рассматривается, как ошибка (как, например, для декларации type), но реализация может не замечать этих ошибок (хотя их обнаружение, где это возможно, поощряется).