Preliminary submission - std.rational and std.typelist

[Arlen]

I'm not sure if TypeTuples work well when doing things like dimensional analysis.  For example, if you have two TypeTuples, A and B, what would the signature of the metafunction to merge the two look like?

template Merge(A, B) { }

won't work, and neither will

template Merge(alias A, alias B) { }

and you certainly can't do something like

template Merge(AB...) { }

Arlen

 
  ----- Original Message -----
  From: Jonathan M Davis
  Sent: 10/06/12 12:52 PM
  To: digitalmars.D
  Subject: Re: Preliminary submission - std.rational and std.typelist
 
   
On Saturday, October 06, 2012 19:03:39 Arlen wrote:
> I wasn't aware that we already had std.typelist module in Phobos until I was
> ready to submit my work. I suppose the work was abandoned or it was never
> finalized? There are differences in typelist2.d and typelist.d, though.

It needs to be removed. It's not even compiled in. std.typetuple is what we 
use. I would suggest looking at adding further functionality to it rather than 
trying to create anything based on type lists. TypeTuples can do the same 
things and are actually more flexible.

- Jonathan M Davis