知识卡片
Lint是外部约束
内容
JSLint 是一个 JavaScript 代码质量工具，扫描源文本并对发现的问题给出描述和大致位置；被发现的问题多是语法错误，但也包括代码风格惯例和结构上的问题。它”不会证明你的程序是否正确，只是提供了另一种视角帮助你辨认问题”——静态检查工具的定位是发现高风险信号，而不是给出正确性证明。发散：工具的价值不是替代思考，而是把重复性警觉自动化，让人把注意力留给工具无法判断的语义问题。
参考来源
- 位置：《JavaScript语言精粹(修订版)》附录C《JSLint》开篇
- 结论依据：原文定义 JSLint "读取源文本并进行扫描。如果发现问题，它会返回一个消息描述该问题并指明该问题在源文件中的大概位置……它不会证明你的程序是否正确，只是提供了另一种视角帮助你辨认问题"，据此推出静态检查工具的定位是辅助发现风险而非证明正确性的结论。
- 原始内容：JSLint是一个JavaScript的代码质量工具。它读取源文本并进行扫描。如果发现问题，它会返回一个消息描述该问题并指明该问题在源文件中的大概位置。被发现的问题往往是语法错误，但也不一定全是……它不会证明你的程序是否正确，只是提供了另一种视角帮助你辨认问题。