Re: [boost] [contract] concepts: pseudo-signatures vs. usage patterns

Subject: Re: [boost] [contract] concepts: pseudo-signatures vs. usage patterns
From: Matt Calabrese (rivorus_at_[hidden])
Date: 2012-10-13 19:55:19

On Sat, Oct 13, 2012 at 5:52 PM, Lorenzo Caminiti <lorcaminiti_at_[hidden]>wrote:

>
> http://contractpp.svn.sourceforge.net/viewvc/contractpp/trunk/doc/html/contract__/concepts.html#contract__.concepts.concept_definitions__not_implemented_
>

Another minor comment. For associated types and constrained parameters such
as:

template< ObjectType T>

I see you are using the syntax

template( typename(ObjectType) T )

I am currently using the following syntax in Boost.Generic:

template( ((ObjectType)) T )

This is for a couple of reasons. First, it's concise and closer to the
standard syntax, but also because in the end that syntax should be able to
be used for unary concepts whose parameter is not a type, in which case
"typename" doesn't really make sense.

-- 
-Matt Calabrese