Partial template application

[bearophile]

Andrej Mitrovic:

> What I mean is, if curry detects that you're currying a compile-time
> argument against a template, then it should do what your
> PartialTemplate/StaticCurry would do.

This is currently not possible, a static curry needs compile-time arguments, so they need to specified as template arguments (with the bang !), while the normal curry is supposed to work with run-time values too.

Walter has tried to unify the two, using a syntax like:
void foo(int x, static int y, int z) {}
That's equivalent to:
void foo(int y)(int x, int z) {}

But the legend says he has found unspecified implementation difficulties, so the idea was abandoned. One purpose of D design is to avoid excessive compiler complexity.

-----------------------

Simen kjaeraas:

> dranges has something like this:
> http://svn.dsource.org/projects/dranges/trunk/dranges/docs/templates.html
> see CurryTemplate

Thank you for the link. This looks like a true currying, instead of a partial application like std.functional.curry.
I suggest to add CurryTemplate to Phobos2 while we wait forever for templates to be curried on default :-)

Bye,
bearophile