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

Zabrane Mickael <>
Thu Jan 12 17:09:28 CET 2012


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

Regards,
Zabrane

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" <> 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.html>


More information about the erlang-questions mailing list