Re: [boost] Re: Re: TypeLISP

From: Jeremy Siek (jsiek_at_[hidden])
Date: 2000-12-01 10:04:42

On Fri, 1 Dec 2000, Vladimir Prus wrote:
> > Just want to note that a cons-list is conceptually similar to the tuple
> > of the LL, ....
> 
> 1. It seems to me that there's great difference between tuple and type-list.
> The former is runtime object, while the latter is compile-time list, made up of
> template specializations. Or am I mistaken about LL tuples?

No, LL tuples are also compile-time lists. In fact, they even used the
same names :)

From ll/tuple.hpp:

// -- nil --------------------------------------------------------
struct nil {};

// a helper function to provide a const nil type temporary
inline const nil cnil() { return nil(); };

// - cons forward declaration
-----------------------------------------------
template <class HT, class TT>
struct cons;

Ciao,
Jeremy