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

I'm not convinced, yet. Maybe I'm having difficulties to fully understand you. Can you perhaps try to clarify what makes "abstract" unsuitable in your opinion?

Well in C++ at least abstract has a specific meaning, and from Webster's we get: "Considered apart from concrete existence: an abstract concept. " What we have here in this case is a union of several concrete concepts, it's more like a wildcard really: "match a or b or c". That's the logic anyway, but as I said before I'm not sure how much it really helps. John.