Fan USES a static type system also - but as just one tool in the toolbox.

Fan也使用静态类型系统——但只作为工具栏上的一个工具而已。

youdao

The type checker is supposed to help a programmer recover from exactly these sorts of mistakes, but in the case of static fields, the type system could actually help to confuse the programmer.

类型检查器应该能帮助程序员从这些类型的错误中恢复，但对于静态字段而言，类型系统实际上会使程序员更迷惑。

youdao

On the downside, multiple interfaces incur a loss of static type safety because interfaces are selected only at runtime, which makes the system more vulnerable to latent bugs that can escape testing.

多接口的缺点是，它招致了静态类型安全性的损失，因为接口只在运行时被选择，这使得系统更容易受到潜伏错误的伤害，即那些逃过测试的错误。

youdao