[erlang-questions] "Design By Contract" in Erlang
Thu Jan 12 16:12:46 CET 2012
I'll give "annotations" a try.
On Jan 12, 2012, at 3:13 PM, Tim Watson wrote:
> And if you need to differentiate between pre/post more clearly in your annotation, you can do it like this too:
> On 12 January 2012 14:11, Tim Watson <watson.timothy@REDACTED> wrote:
> You could easily write your own using https://github.com/hyperthunk/annotations
> For some usage examples:
> 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 <zabrane3@REDACTED> 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!!!
> 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 <zabra...@REDACTED> wrote:
> >> Hi guys,
> >> Any Erlang library to simply DbC (à la Eiffel)?
> >> Regards,
> >> Zabrane
> >> _______________________________________________
> >> erlang-questions mailing list
> >> erlang-questi...@REDACTED://erlang.org/mailman/listinfo/erlang-questions
> > _______________________________________________
> > erlang-questions mailing list
> > erlang-questions@REDACTED
> > http://erlang.org/mailman/listinfo/erlang-questions
> erlang-questions mailing list
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the erlang-questions