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

[Daniil Churikov]

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).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20130809/08323793/attachment.htm>