3 ms·
Static analysis using static typing gives you almost nothing at all in practice. It searches for a very narrow and rare set of bugs, which hardly ever happen.
by ReflectedImage 4y ago
Static analysis using static typing gives you almost nothing at all in practice.
It searches for a very narrow and rare set of bugs, which hardly ever happen.
Typing really exists to help a compiler, it's not a code correctness tool in the way you envision.
- goodoldneon 4y agoIt absolutely is a code correctness tool. If I have a function that should only accept a string then static analysis will error in all the places that pass anything else. As long as you validate your inputs (i.e. request validation) then the type annotations are representative of the runtime types