[erlang-questions] How to code against an interface rather than an implementation?

[Chris King]

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.
>
> No.

Yes.

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.