14 Jul
2006
14 Jul
'06
5:27 a.m.
On Fri, 14 Jul 2006, Bulat Ziganshin wrote:
Hello Tomasz,
Friday, July 14, 2006, 9:31:32 AM, you wrote:
There might be issues with tuples though, for example (1,2,) would be the (,) tuple and not the (,,) tuple, which is a bit weird.
Besides, it might be a bit more natural if (1,2,) was a shorthand for (\x ->> (1,2,x))
in haskell-prime list there was a proposal to use '?' for such things:
(1,2,?)
only problem is what it's hard to define exactly where the lambda should arise:
(1,2,\x->x) (\x -> (1,2,x))
Yes that's a really evil problem that I already encountered in mathematics. Some mathematicians like to write f(�) or even f(�-k) which exhibits exactly the ambiguity you mention. Such placeholders are a really bad idea.