command-line typechecker
C53021
concept
A command-line typechecker is a tool that analyzes source code from the terminal to verify type correctness, report type errors, and optionally provide type-related diagnostics without running the program.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| static type checker | 3 |