27 Jan
2006
27 Jan
'06
2:12 p.m.
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