好，这为什么是个静态语义错误呢？
这是个静态语义错误。
好，当你的代码语法，没错误，并且也有正确的静态语义，你去运行它的时候会发生什么呢？
OK. What happens if you actually have something that's both syntactically correct, and appears to have correct static semantics, and you run it?
并不是所有的错误，都会在静态语义检查中被捕获。
Not everything is going to get caught in static semantics checking.
在此基础之上，我们引入新的Codan静态分析框架作为可选组件，在编译之前提供语义错误报告。
On top of that, we introduced the new Codan static analysis framework as optional component to provide semantic error reports ahead of compile time.
在此基础之上，我们引入新的Codan静态分析框架作为可选组件，在编译之前提供语义错误报告。
On top of that, we introduced the new Codan static analysis framework as optional component to provide semantic error reports ahead of compile time.
应用推荐