Boost logo

Boost :

Subject: Re: [boost] [contract] syntax redesign
From: Dave Abrahams (dave_at_[hidden])
Date: 2012-01-12 20:33:10

on Sun Dec 11 2011, Lorenzo Caminiti <> wrote:

> On Wed, Nov 9, 2011 at 6:16 AM, Lorenzo Caminiti <lorcaminiti_at_[hidden]> wrote:
>>>> The goal here is to use Boost.Contract to /completely/ specify the
>>>> interface for the positive abstract data type.
> For whomever is curious, the Boost.Contract named and deduced
> parameter examples now compile:
> Here's an example that uses a bit of everything: Contracts, concepts,
> named/deduced function and template parameters:

(gulp) wow! That's _very_ impressive.

It's just too bad the syntax is so intrusive on that of C++; it's like a
whole new language to learn, debug, etc. There are a few contract
programming frameworks out there that are much less capable but at the
same time don't intrude so much
(e.g. which
probably only builds on MSVC).

I wonder if it's possible to make parts of this framework usable in the
same way, so that people can approach it more gradually.

Dave Abrahams
BoostPro Computing

Boost list run by bdawes at, gregod at, cpdaniel at, john at