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
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
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 :-)
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk