more flexible partial application

[Wolfgang Jeltsch]

Am Freitag, 27. Januar 2006 12:15 schrieb Dinko Tenev:
> [...]

> About the whole extension, (f x _ z) is arguably clearer than \y -> f
> x y z,

For me, it's really not clearer.  (f x _ z) looks like an application of f to 
three arguments since _ looks like a special expression (similar to _ in 
patterns being a special pattern).

> [...]

Best wishes,
Wolfgang