Средство анализа статического кода для Common Lisp?

Я занят изучением Common Lisp, и я ищу инструмент для анализа статического кода, который поможет мне развить лучший стиль и избежать попадания в обычные ловушки.

Я нашел Lisp Critic, и я думаю, что это выглядит хорошо, но я надеялся, что кто-то сможет порекомендовать другие инструменты и/или поделиться своим опытом с ними.

Ответ 1

Учитывая динамический характер Lisp, статический анализ - это все, от жесткого до невозможного, в зависимости от типа исходного кода.

В некоторых целях я бы рекомендовал использовать компилятор SBCL. Ознакомьтесь с его руководством, какие функции он предоставляет. Одна особенность - это некоторая форма вывода типа. Он также предоставляет множество стандартных предупреждений для таких вещей, как необъявленные переменные, проблемы типа, вызывающие функции с неправильным числом аргументов, используя функции undefined, нарушая стандарт ANSI CL различными способами и более.

Ответ 2

Лучший способ узнать о хорошем стиле - прочитать много кода и попросить других просмотреть ваш код. Это не то, что характерно для Common Lisp.

Ответ 3

Я думаю, что один серый инструмент использует lisp -критический, вы можете получить некоторую информацию здесь:

http://quickdocs.org/lisp-critic/

и римейк, сделанный с помощью @Xach

http://xach.com/lisp/