Dicebot:
For your objections to make sense tuple would need to be inroduced as completely new first class type system entity. As this will never happen,
I think first class tuples will happen in D, because the current tuple situation is quite bad.
But this thread is not about built-in tuples, here we are discussing about possible improvements to the Phobos implementation of tuples.
A possible solution is an optional "@structural" attribute for structs that gives structural typing to one struct (that will be used as underlying implementation for library-defined tuples.
Bye, bearophile
