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.
All labels observed (2)
| Label | Occurrences |
|---|---|
| static type checker | 3 |
| command-line typechecker canonical | 1 |
Description generation (CDg)
The one-sentence description above was generated by prompting gpt-5.1 with the class name and this instruction.
Instruction
generate a one-sentence description for a given conceptual class. # Response Format Return only the sentence: "Description: [one-sentence description of the conceptional class]"
Input
Class: command-line typechecker
Generated description
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.