29 Jan
2006
29 Jan
'06
6:27 a.m.
On 1/27/06, 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).
I feel tempted to argue to the contrary, but at this point of the argument, I think it's already a matter of personal preference. Cheers, Dinko