On Friday, 20 May 2016 at 19:37:23 UTC, Andrei Alexandrescu wrote:
On 5/20/16 2:34 PM, Georgi D wrote:
1) Exponential growth of symbol name with voldemort types.
I like Steven's solution where the compiler lowers the struct
outside of
the method.
Was talking to Walter on the phone and he just had one of those
great ideas: encode in the function mangle that it returns
"auto". I thought that was fantastic. Would that work? -- Andrei
This is a very interesting idea. I see one problem though: The
real issue is not just the return type but also the types of the
input parameters to a function. So even if the return type of a
method is encoded as "auto" the moment the result of that method
is passed as parameter to another template method the long
typename will resurface. I do not think the type of the input
parameters could be encoded as "auto" since the different
instances of a template method will clash in names.
In essence the problem that should be solved is the long names of
types.
