From: jaakko.jarvi_at_[hidden]
Date: 2001-06-19 11:48:58
First, thanks all for the comments so far. And thanks
Gary for covering for me while I'm almost out of email reach.
There's a couple of points I'd like to add on:
> Let T be a tuple type.
> What is the name of the type of the n'th element?
element_type<N, T>::type gives you this.
The empty tuple
---------------
We could have an empty tuple, which could map to a cons list,
the type of which would be just nil (or whatever we will
eventually call the type)
nil/null
--------
As Gary pointed out already, we just need some unique type,
so it can be changed.
Jaakko