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

Loïc Hoguin essen@REDACTED
Fri Aug 9 14:58:56 CEST 2013

Whether Dialyzer can do that or not is a bit irrelevant, as this kind of 
error is quickly apparent when your tests immediately fail.

On 08/09/2013 02:49 PM, Daniil Churikov wrote:
> Hello Chris.
> I am speaking about static analysis tool named "Dialyzer". This tool is
> intended to be used as "error-finder". And what I am interested in is
> whether this tool will be able to understand what module you substitute
> in *State#state.db* and make warning that this module is not properly
> written (i.e. miss some functions or this functions will not be able to
> handle what you will feed them).
> _______________________________________________
> erlang-questions mailing list
> erlang-questions@REDACTED
> http://erlang.org/mailman/listinfo/erlang-questions

Loïc Hoguin
Erlang Cowboy
Nine Nines

More information about the erlang-questions mailing list