RE: [boost] Submission: typelist

From: Hamish Mackenzie (boost_at_[hidden])
Date: 2001-11-28 11:58:01

On Wed, 2001-11-28 at 16:26, Aleksey Gurtovoy wrote:
> Hamish Mackenzie wrote:
> > I think full specialization is broken in MPL too, does the following
> > work?
> > 
> > template< class T >
> > class foo;
> > 
> > template<>
> > class foo< boost::mpl::type_list< int, float > >
> > {
> > };
> 
> What's the purpose of the above specialization?

How about if I wanted to create a a small language to allow the
programing of an embeded system with a very simple instruction set.  I
don't want the grammer to be checked at runtime so instead I decide to
do this....

class assign;

template< int n >
class register;

template< class T >
class operation;

template< int n1, int n2 >
class operation< type_list< assign, register< n1 >, register< n2 > > >
{...
}

int main()
{
  operation< type_list< assign, register< 1 >, register< 2 > > > op1;

  some_function_operation_to_embeded_system( op1 );
}

Pattern matching may not be ideal for everything but its dam good at
grammers.

Hamish