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
> 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. :-)
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.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk