www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - Where is 'tuple' in the language reference

reply Steve Teale <steve.teale britseyeview.com> writes:
I see the term used, but I can't find where it is defined.
Aug 05 2011
next sibling parent "Vladimir Panteleev" <vladimir thecybershadow.net> writes:
On Fri, 05 Aug 2011 11:55:32 +0300, Steve Teale  
<steve.teale britseyeview.com> wrote:


 I see the term used, but I can't find where it is defined.


http://d-programming-language.org/tuple.html

You may find the newsgroup digitalmars.D.learn more appropriate for such  
questions :)

-- 
Best regards,
  Vladimir                            mailto:vladimir thecybershadow.net
Aug 05 2011
prev sibling next sibling parent reply Jonathan M Davis <jmdavisProg gmx.com> writes:
On Friday 05 August 2011 08:55:32 Steve Teale wrote:

 I see the term used, but I can't find where it is defined.


Probably nowhere. There are no built-in tuples in D. std.typecons.Tuple is 
probably what you're looking for. It's a struct which defines a tuple. There's 
also std.typetuple.TypeTuple which is a compile time construct useful in meta-
programming. But there is no tuple built into D. There has been some 
discussion of improving the syntactic sugar with regards to std.typecons.Tuple 
- either via some additional templates or possibly adding something to the 
language itself - but that hasn't happened yet, and there are no tuples built 
into D.

- Jonathan M Davis
Aug 05 2011
next sibling parent Steve Teale <steve.teale britseyeview.com> writes:
Then if they are just a library artifact, should the terms TypeTuple and \
ExpressionTuple be present in the language reference?

Maybe 'tuple' can slip in, since it is a more generic term, but even that
is doubtful since it causes people to hunt through the reference to see
what facilities D provides.
Aug 05 2011
prev sibling parent reply Jacob Carlborg <doob me.com> writes:
On 2011-08-05 11:10, Jonathan M Davis wrote:

 On Friday 05 August 2011 08:55:32 Steve Teale wrote:

 I see the term used, but I can't find where it is defined.


 Probably nowhere. There are no built-in tuples in D. std.typecons.Tuple is
 probably what you're looking for. It's a struct which defines a tuple. There's
 also std.typetuple.TypeTuple which is a compile time construct useful in meta-
 programming. But there is no tuple built into D. There has been some
 discussion of improving the syntactic sugar with regards to std.typecons.Tuple
 - either via some additional templates or possibly adding something to the
 language itself - but that hasn't happened yet, and there are no tuples built
 into D.

 - Jonathan M Davis


There's .tupleof, I would consider that built-in.

-- 
/Jacob Carlborg
Aug 06 2011
parent Jonathan M Davis <jmdavisProg gmx.com> writes:
On Saturday 06 August 2011 11:10:57 Jacob Carlborg wrote:

 On 2011-08-05 11:10, Jonathan M Davis wrote:

 On Friday 05 August 2011 08:55:32 Steve Teale wrote:

 I see the term used, but I can't find where it is defined.


 
 Probably nowhere. There are no built-in tuples in D. std.typecons.Tuple
 is probably what you're looking for. It's a struct which defines a
 tuple. There's also std.typetuple.TypeTuple which is a compile time
 construct useful in meta- programming. But there is no tuple built into
 D. There has been some discussion of improving the syntactic sugar with
 regards to std.typecons.Tuple - either via some additional templates or
 possibly adding something to the language itself - but that hasn't
 happened yet, and there are no tuples built into D.
 
 - Jonathan M Davis


 
 There's .tupleof, I would consider that built-in.


True. I forgot about that one. IIRC, that's effectively a TypeTuple, but 
TypeTuple is in std.typetuple, so I'm not quite sure what the deal with that 
is. Regardless, TypeTuple has always been a bit confusing. It doesn't contain 
just types, and it's not really a tuple. It's probably a bit late in the game 
to give it a better name though. Adding tuples to the language like Bearophile 
keeps pushing for would probably make things even more confusing.

- Jonathan M Davis
Aug 06 2011
prev sibling parent Lutger Blijdestijn <lutger.blijdestijn gmail.com> writes:
Steve Teale wrote:


 I see the term used, but I can't find where it is defined.


It's here: http://www.d-p-l.org/template.html#variadic-templates

"A Tuple is not a type, an expression, or a symbol. It is a sequence of any 
mix of types, expressions or symbols."

The language terminology is easily confused with the constructs that phobos 
defines, where TypeTuple and Tuple mean different things.
Aug 06 2011