A static type system needs to decide if its goals are documentation, safety, performance, or IDEs. The implementation will depend on this.
miniblog.
Related Posts
LLMs are surprisingly good at reducing crash samples.
I've had success with "this project crashes my static analysis tool with the following command, try to shrink the repro whilst preserving the crash. Commit each smaller version to a branch".
LLMs are great at style transfer, and this works surprisingly well for syntactic transformations too.
I rewrote a small website's EJS templates to 1500 LOC of TSX with a oneshot in Claude. It took ~12 minutes, but it just worked.
(TSX seems nicer than EJS for static analysis.)
Is there a good canonical name for autofixes, where a static analysis tool can apply a change to resolve an issue?
Clang calls them fix-its, LSP calls them quickfixes.