#typescript #checker-framework
#typescript #фреймворк проверки
Вопрос:
Есть ли что-то вроде CheckerFramework для TypeScript? Я хотел бы иметь возможность использовать аннотации для поиска проблем с кодом во время компиляции, например, @Nullable по параметру, по которому вы немедленно вызвали функцию.
Комментарии:
1. Typescript имеет строгую проверку на обнуляемость под
strictNullChecksфлагом компилятора. Обычно типы должны быть тем , что вы используете , чтобы заставить компилятор сообщать об ошибках во время компиляции ..
Ответ №1:
Короткий ответ нет. Нет способа изменить поведение TypeScript с помощью аннотации / прагмы. Однако, как прокомментировал @Titian Cernicova-Dragomir, есть strictNullChecks варианты компиляции.
Я настраиваю демонстрационную версию этой функции в TypeScript playground. Не забудьте нажать Options синюю кнопку и проверить strictNullChecks выпадающий список.