Re: [boost] Submission: typelist

From: Hamish Mackenzie (boost_at_[hidden])
Date: 2001-11-27 18:45:33

On Tue, 2001-11-27 at 22:28, Andrei Alexandrescu wrote:
> This is going to be a very long post, 
so I won't quote it here
 
As I have not yet used mpl or loki (and MC++D is on my christmas list
:-) ) I might be out of my depth but....

1) Could the name mpl::type_list be depreciated in favor of typevector
or type_vector which is perhaps more descriptive of its interface (even
if it is implemented with a singly linked list)? This makes sense to me
as the class mpl::type_list isn't even a list in the prolog sense
(mpl::list_node is).

2) Could Andrei then introduce loki::typelist? Which is clean/simple and
easy for programers who prefer recursion to iteration. 

3) Then we create algorithms to transform typelist into typevector and
vise versa.

4) mpl::list_node and tuple::cons could be replaced with a typelist
which is likely to be a big job.

Does that make sense?

Alternatively is there a way to implement backtracking and port an iso
prolog library :-) 

Hamish