[erlang-questions] How to code against an interface rather than an implementation?
Fri Aug 9 16:55:42 CEST 2013
On Fri, Aug 9, 2013 at 10:07 AM, Loïc Hoguin <essen@REDACTED> wrote:
> On 08/09/2013 03:58 PM, Chris King wrote:
>> Eh, that argument can apply to most things a static analyzer checks.
>> The point of a static analyzer is to catch these kinds of errors
>> without having to write formal tests.
There is no point to a static analyzer if, as you assert, the class of
errors it checks is subsumed by that of formal tests.
Ask yourself: why bother even statically checking syntax? After all,
unit tests will catch syntax errors.
More information about the erlang-questions