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

Daniil Churikov ddosia@REDACTED
Fri Aug 9 13:56:48 CEST 2013

Does anybody know could *dialyzer* break through such dynamic module 
construction, like *Chris Cook* wrote? Is it able to know that *
State#state.db* module do not export *get_content/2* function, or it's 
contract is wrong?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20130809/0ad0e5fa/attachment.htm>

More information about the erlang-questions mailing list