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

[Zabrane Mickael]

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