RE: [boost] Ongoing MPL Formal Review

From: Anthony Williams (anthwil_at_[hidden])
Date: 2002-08-02 03:51:47

> From: Peter Dimov [mailto:pdimov_at_[hidden]]
> Sent: 31 July 2002 18:37

> From: "Anthony Williams" <anthwil_at_[hidden]>
> [...]
> >
> > As for "metafunction class" vs "quoted metafunction", I would prefer
> > something that more clearly meant "a class with a member 
> template apply".
> > "quoted metafunction" implies you can do 
> quote<my_metafunction>, which you
> > can't (I know lambda almost gives you that).
> 
> template<template<class> class MF> struct quote1
> {
>     template<class T> struct apply
>     {
>         typedef typename MF<T>::type type;
>     };
> };

Now you need quote2, quote3, quote4......

I had discarded that thought for this reason, but point taken.

Anthony