Re: [boost] [function types] New tag type logic [update]

From: Tobias Schwinger (tschwinger_at_[hidden])
Date: 2005-06-30 12:22:43

Tobias Schwinger wrote:
> Rob Stewart wrote:
> 
>>From: Tobias Schwinger <tschwinger_at_[hidden]>
>>
>>>        is_function< T, variadic >
>>>        is_function< T, pointer >  // same as is_function_pointer<T>
>>>
>>>   When classifying types it is often necessary to match against several
>>>   variations of one aspect. There are special variations which make this
>>>   possible. These are called *abstract variations*.
>>
>>
>>   There are special tags that represent groups--or the union--of
>>   several variations of a single aspect.
>>
>>Shouldn't "abstract variations" be "abstract tags?"
> 
> 
> Don't think so: "aspects" and "variations" are semantics, the tags are their 
> syntactical encapsulation.
> 

But the term "variation" is used too often in this sentence.

     When classifying types it is often necessary to match against several
     variations of one aspect. There are special, *abstract* variations for that.