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

Tim Watson <>
Thu Jan 12 15:11:52 CET 2012


You could easily write your own using
https://github.com/hyperthunk/annotations

For some usage examples:

https://github.com/hyperthunk/rebar_annotations/blob/master/src/base_dir.erl
https://github.com/nebularis/memoize/blob/master/src/memoize.erl

It would be easy to write the pre/post conditions as annotations and glue
them in to the build using this.

On 12 January 2012 02:12, Zabrane Mickael <> wrote:

> Thanks Steve. But UBF is for protocol validation between Erlang and
> foreign languages.
>
> But to simply check pre-conditions, post-conditions aroudn functions ...
> may be something simple exists!!!
>
> Regards,
> Zabrane
>
> On Jan 12, 2012, at 1:39 AM, Steve Davis wrote:
>
> > If you've not seen it already, Joe Armstrong's UBF is worth studying:
> >
> > http://www.sics.se/~joe/ubf/site/home.html
> >
> >
> > On Jan 11, 3:19 pm, Zabrane Mickael <> wrote:
> >> Hi guys,
> >>
> >> Any Erlang library to simply DbC (à la Eiffel)?
> >>
> >> Regards,
> >> Zabrane
> >>
> >> _______________________________________________
> >> erlang-questions mailing list
> >> ://
> erlang.org/mailman/listinfo/erlang-questions
> > _______________________________________________
> > erlang-questions mailing list
> > 
> > http://erlang.org/mailman/listinfo/erlang-questions
>
> _______________________________________________
> erlang-questions mailing list
> 
> http://erlang.org/mailman/listinfo/erlang-questions
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20120112/061e89ef/attachment.html>


More information about the erlang-questions mailing list