dropping parentheses on template instantiation

[KennyTM~]

Denis Koroskin wrote:
> On Mon, 06 Oct 2008 23:10:02 +0400, Leandro Lucarella <llucax at gmail.com> 
> wrote:
> 
>> downs, el  6 de octubre a las 17:28 me escribiste:
>>> > auto v = new Vector with Stack with Tuple with (Positive with real,
>>> > Matrix with real (3, 3)) ?
>>>
>>> auto v = new Vector of Stack of (Positive of real, Matrix of (real, 
>>> 3, 3));
>>>
>>> Probably suboptimal. I mostly just threw that out there as a 
>>> "wouldn't it be cool" to remind people that there are alternatives 
>>> besides foo[SYMBOL](bar, baz)
>>
>> And I don't think:
>> auto v = new Vector.(Stack.(Tuple.(Positive.(real), 
>> Matrix.(real))))(3, 3))
>> or:
>> auto v = new Vector{Stack{Tuple{Positive{real}, Matrix{real}}}}(3, 3))
>> or:
>> auto v = new Vector at Stack@Tuple@(Positive at real, Matrix at real)(3, 3))
>>
>> Is particulary nice either. You should use alias when nesting too deep,
>> I guess.
>>
> 
> or:
> auto v = new Vector@(Stack@(Tuple@(Positive at real, Matrix at real)))(3, 3)
> 
> or:
> auto v = new Vector!(Stack!(Tuple!(Positive!(real), Matrix!(real))))(3, 3)
> 
> But you shouldn't write that kind of code, anyway. This is more realistic:
> 
> alias Tuple@(Positive at real, Matrix at real) MyTuple;
> alias Stack at MyTuple MyStack;
> alias Vector at MyStack MyVector;
> 
> But that's not a real-world example, anyway.
> 
> Could anyone convert some real-world template-heavy source-code like 
> std.algorithm to all the proposed syntaxes so that we could compare them 
> to each other?

   NxNHelper!(F).For!(Args).Result

(taken from std.algorithm.reduce.) Then we have


   NxNHelper of F.For of Args.Result

   NxNHelper at F.For@Args.Result

   NxNHelper{F}.For{Args}.Result


--

   Tuple!(Iterator!(Range1), Iterator!(Range2))

(taken form std.algorithm.mismatch.) Then we have

   Tuple of (Iterator of Range1, Iterator of Range2)
    /* or omit Tuple of, as suggested by downs */

   Tuple@(Iterator at Range1, Iterator at Range2)

   Tuple{Iterator{Range1}, Iterator{Range2}}