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. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe