用于 TypeScript 的 CheckerFramework

Question

TypeScript 有类似 CheckerFramework 的东西吗？我希望能够在编译时使用注释来查找代码问题，例如您立即调用函数的参数上的@Nullable。

Answer 1

简短回答没有。没有办法通过注解/编译指示改变 TypeScript 的行为。然而，正如@Titian Cernicova-Dragomir 评论的那样，有一个strictNullChecks compilerOptions。

我在 TypeScript 操场上设置了此功能的 DEMO。记得点击Options蓝色按钮，并在下拉菜单中查看strictNullChecks。