Я знаю, что Google Closure Compiler выполняет проверку типов, но есть ли какие-либо альтернативы, желательно не так тесно связанные с библиотекой и оптимизатором?
Если нет, есть ли способ заставить Google Closure Compiler только выполнять статический анализ?
(Под статическим анализом здесь я подразумеваю такие вещи, как определение типов для аргументов и т. д., которые я могу выполнить, чтобы выдать мне предупреждения, если я сделаю опечатку или передам неправильный тип.)
Существует Doctor JS, проект Mozilla, который в первую очередь (насколько я понимаю) выполняет проверку типов для JS. .
AJAX Minifier от Microsoft немного спокойнее относится к объему подготовки, который вам нужно выполнить с файлом JS, чтобы получить от него полезные результаты. Вы можете запустить его со значениями по умолчанию и получить минимизированный файл, который по-прежнему работает с внешним кодом: http://ajaxmin.codeplex.com/
Но и Closure Compiler, и Ajax Minifier могут выполнять только очень ограниченный статический анализ, помимо базового анализа, из-за того, как устроен Javascript. Доступ к необъявленному свойству может быть просто проверкой на неопределенность, назначение необъявленной переменной просто означает объявление ее в глобальной области видимости, допустимо присвоение объекта переменной, содержащей число, и т. д. В JS есть много того, что допустимо в вашем типичном языке. (Java, C#) считается за пределами, поэтому без объявления типов, границ и ожиданий для конкретного компилятора вы, к сожалению, ограничены в ошибках, которые вы можете предотвратить.
Я был бы немного более заинтересован в чем-то, что может трансформироваться между большими двумя (MS и Google). Это было бы полезно для поддержки IDE, тестирования размера кода с расширенными оптимизациями и т. д.
Я был очень доволен редактором intellij idea/webstorms, который анализирует jsdoc и выполняет собственный статический анализ, чтобы отметить потенциальные или фактические ошибки безопасности типов. Он оказался весьма полезным, хотя потребовалось немного работы, чтобы заставить наследование работать с некоторыми распространенными фреймворками. Из-за множества подходов, возможных с наследованием прототипов javascript, компилятору требуется немного больше помощи, чем для других языков.
Это коммерческий инструмент, но я могу использовать его для проектов java, php, javascript, python и ruby, все с довольно приличными помощниками по статическому анализу и рефакторингу. Раньше я много работал с emacs и запускал процессы node.js для jshint и компилятора закрытия, но это намного менее хрупко.
