[erlang-questions] "Design By Contract" in Erlang

Zabrane Mickael zabrane3@REDACTED
Thu Jan 12 17:09:28 CET 2012

Already did that. But it's static checking and want also dynamic checking.
Anyway thanks.


On Jan 12, 2012, at 5:03 PM, Gianfranco Alongi wrote:

> Also, you can typespec everything rigorously and dialyze, not dbc per se, but gives you great confidence that it fits together nicely.
> On Jan 12, 2012 4:17 PM, "Zabrane Mickael" <zabrane3@REDACTED> wrote:
> Thanks Tim.
> I'll give "annotations" a try.
> Regards,
> Zabrane

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20120112/5b715271/attachment.htm>

More information about the erlang-questions mailing list