On Wednesday, 24 April 2013 at 20:32:16 UTC, Timon Gehr wrote:
On 04/24/2013 07:07 PM, Diggory wrote:
One way this could be done is by expanding on lazy parameters.
Perhaps
you could specify parameters for a lazy argument, so instead
of always
getting a delegate of type T delegate(), you could get one of
type T
delegate(U a, V b).
For example, a parameter could be:
void f(lazy bool exp(int a, int b)) {
bool result = exp(1, 2);
}
Then when you call that:
f(a < b)
The names 'a' and 'b' come from the parameter list for 'f'. I
would
definitely vote for this as a feature!
This is a little dangerous as it looks like an ordinary
expression but has to somehow affect symbol scoping.
Surely it's no more dangerous than lazy parameters already are.
(they are already converted into a hidden delegate, it just
happens to take no parameters at the moment)
