Re: [boost] [mpl] multiset

On 3/9/2015 10:40 AM, Zach Laine wrote:

On Sun, Mar 8, 2015 at 2:56 PM, Eric Niebler wrote:

[snip]

...

Here, for instance, is a SFINAE-friendly implementation of std::common_type <snip>

...

template struct common_type : m::if_c<

<snip>

...

I would be curious to see this implemented in Hana and in Turbo.

Yes! We need to see apples-to-apples comparisons of nontrivial, useful examples like this under the various libraries' approaches.

I should also add that common_type also needs to be implemented such that people can provide user-specializations of common_type. It makes this an interesting trait to implement from a metaprogramming perspective. (Huh, this would make a good blog post. :-) If there are other real-world problems that show the strengths of Hana/Turbo, let's see those, too. I'll play along as time allows. -- Eric Niebler Boost.org http://www.boost.org