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!
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!