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

Chris King colanderman@REDACTED
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.
> No.


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 mailing list