Boost logo

Boost :

Subject: Re: [boost] Formal Review Request: mp11
From: Peter Dimov (lists_at_[hidden])
Date: 2017-03-19 18:08:09

Vicente J. Botet Escriba wrote:

> You know what I mean. is_same<_1,V> should be a meta-function class.

I didn't, not because I'm being deliberately obtuse, but because different
metaprogramming libraries have taken different approaches to what
constitutes a metafunction class. What they have in common is that they take
metafunction classes (instead of template aliases as mp11 does) which they
then evaluate internally with their eval/invoke primitive, but how invoke
handles placeholders differs from library to library.

> BTW, mp_quote does more than quoting. It is doing some binding.

Originally it did just quote, then I noticed that the extension to partial
application (bind_front) is straightforward. In the simple case mp_quote<F>
it still quotes.

> BTW I'm missing how we build a mp set.

Usually you start with an empty mp_list<> and mp_set_push_back things into
it; the other case is when you have an existing list L and convert it to a
set with mp_unique<L>.

Boost list run by bdawes at, gregod at, cpdaniel at, john at