Re: [boost] "Simple C++11 metaprogramming"

Subject: Re: [boost] "Simple C++11 metaprogramming"
From: charleyb123 . (charleyb123_at_[hidden])
Date: 2015-05-30 12:54:23

Peter Dimov <lists_at_[hidden]> sayeth:

> I've recently made the mistake to reread Eric Niebler's excellent "Tiny
> Metaprogramming Library" article
>
> http://ericniebler.com/2014/11/13/tiny-metaprogramming-library/
>
> which of course prompted me to try to experiment with my own tiny
> metaprogramming library and to see how I'd go about implementing tuple_cat
> (a challenge Eric gives.)
>
> Ordinarily, any such experiments of mine leave no trace once I abandon
> them and move on, but this time I decided to at least write an article
> about the result, so here it is, with the hope someone might find it
> useful. :-)
>
> http://pdimov.com/cpp2/simple_cxx11_metaprogramming.html
>

Very nice.  Very clean and impressive post.

I particularly liked these two assertions:

(a) mp_size to compute type-list length is a truly generic primitive which
is, "...so nice that [you'd] argue that all our metaprogramming primitives
ought to have this property."

(b) "Lack-of-higher-order-metaprogramming", suggesting that in C++11 and
beyond, we largely should not need metafunctions such as compose, bind, or
a lambda library.

Very interesting.  I find your argument compelling.

--charley