Hmm…that is closer to the Scala semantics, but seems to be a bit further from the notion of currying. It also requires that _ behave, at least nominally, as a placeholder variable.
Ok, so if that’s the case (and if I may be so bold), I think the question boils down to: should _ be an equivalent to ans or a placeholder that also triggers a currying transformation?
The former would, I suspect, require less change to the grammar of Julia but may require more refinement of ans’s scoping/semantics. The later involves less magic, but would require a non-trivial transformation of the source/AST.