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

[Daniil Churikov]

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>