• Yuxuan Shui (4/4) Nov 04 2015 I think this is a reasonable use case:
• Yuxuan Shui (3/7) Nov 04 2015 For now I have to explicitly write A like this:
• Vladimir Panteleev (7/11) Nov 04 2015 Currently this is doable by moving the parameters that are to be
• Yuxuan Shui (6/21) Nov 04 2015 I'm aware of this, but this is clumsy and limiting.

Yuxuan Shui <yshuiv7 gmail.com> writes:

I think this is a reasonable use case:

auto A(R, S)(R a,S b) {return a+b;}

auto B(alias f)(){return f(1, 1.0);}

void main{writeln(B!(A!int)());}

Yuxuan Shui <yshuiv7 gmail.com> writes:

On Wednesday, 4 November 2015 at 23:07:42 UTC, Yuxuan Shui wrote:
 I think this is a reasonable use case:

 auto A(R, S)(R a,S b) {return a+b;}

 auto B(alias f)(){return f(1, 1.0);}

 void main{writeln(B!(A!int)());}

For now I have to explicitly write A like this:

template A(R){auto A(S)(R a, S b){...}}

Vladimir Panteleev <thecybershadow.lists gmail.com> writes:

On Wednesday, 4 November 2015 at 23:07:42 UTC, Yuxuan Shui wrote:
 I think this is a reasonable use case:

 auto A(R, S)(R a,S b) {return a+b;}

 auto B(alias f)(){return f(1, 1.0);}

 void main{writeln(B!(A!int)());}

Currently this is doable by moving the parameters that are to be 
explicitly instantiated to an outer template:

template A(R)
{
     auto A(S)(R a,S b) {return a+b;}
}

Yuxuan Shui <yshuiv7 gmail.com> writes:

On Wednesday, 4 November 2015 at 23:10:09 UTC, Vladimir Panteleev 
wrote:
 On Wednesday, 4 November 2015 at 23:07:42 UTC, Yuxuan Shui 
 wrote:
 I think this is a reasonable use case:

 auto A(R, S)(R a,S b) {return a+b;}

 auto B(alias f)(){return f(1, 1.0);}

 void main{writeln(B!(A!int)());}

 Currently this is doable by moving the parameters that are to 
 be explicitly instantiated to an outer template:

 template A(R)
 {
     auto A(S)(R a,S b) {return a+b;}
 }

I'm aware of this, but this is clumsy and limiting.

For example, I can have a template with N parameters, I want to 
be able to use any partially instantiation of this template as 
arguments.