> From: Peter Dimov [mailto:pdimov@mmltd.net]
> Sent: 31 July 2002 18:37

> From: "Anthony Williams" <anthwil@nortelnetworks.com>
> [...]
> >
> > 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