title: CheckerFramework for TypeScript
body: <p>Is there something like <a href="https://checkerframework.org" rel="nofollow noreferrer">CheckerFramework</a> for TypeScript? I would like to be able to use annotations to find code problems at compile time, like <code>@Nullable</code> on a parameter which you immediately called a function upon.</p>