Re: [boost] [contract] Contract Programming Library

Subject: Re: [boost] [contract] Contract Programming Library
From: Jason Felice (jason.m.felice_at_[hidden])
Date: 2010-01-05 10:06:44

On Tue, Jan 5, 2010 at 12:54 AM, Lorenzo Caminiti <lorcaminiti_at_[hidden]> wrote:
> Hi all,
>
> I am thinking to submit a library for Contract Programming (a.k.a.
> Design By Contract (TM) ) for C++.
>
> I have drafted some of the library documentation in Boost-like format:
> http://dbcpp.sourceforge.net/boost/libs/contract/doc/html/
>
> Comments?

1. I am _very_ interested in a good DbC solution for C++.  I would
immediately adopt it for our in-house projects.
2. I'm not fond of the syntax - there seems to be a lot of redundancy
in it.  I know we're working within the limitations of C++, which may
be considerable in this case, but are you open to discussion about
possible different approaches?  I have a few (completely undeveloped
and perhaps implausible) ideas.