Ben,
xs `zipWith (+)` ys
Another problem is that it's not clear how to declare the fixity of
these things. Should they always have the default fixity? Should
they be required to have the form `ident args` and use the
fixity of `ident`? Neither approach seems very clean.
Following
Hello Doaitse,
Thursday, March 9, 2006, 12:01:37 AM, you wrote:
DS xs `zipWith (+)` ys
i had the same desire several times
Possibly `(expr)` ?
it will be non-readable. it is better to just prohibit using of
backquotes inside backquotes. and fixity can be fixed at 0, imho.
at least, my
On Thursday 09 March 2006 08:59, Bulat Ziganshin wrote:
Hello Doaitse,
Thursday, March 9, 2006, 12:01:37 AM, you wrote:
DS xs `zipWith (+)` ys
i had the same desire several times
Possibly `(expr)` ?
it will be non-readable. it is better to just prohibit using of
backquotes inside
Some questions were raised. Let me start withbynoticing that all I am
interested in is a very small extensions, without creating more
problems than solving, so I could perfectly live with:
- no `...` inside `...`. If you really need this you use parentheses
- the first element between the
In Haskell we write `f` in order to infixify the identifier f. In ABC
the stuff between backquotes is not limited to an identifier, but any
expression may occur there. This would allow one to write e.g.
xs `zipWith (+)` ys
In general expr1 `expr2` expr3 = (expr2) expr1 expr3
I think it
On Wed, 8 Mar 2006, Doaitse Swierstra wrote:
In Haskell we write `f` in order to infixify the identifier f. In ABC the
stuff between backquotes is not limited to an identifier, but any expression
may occur there. This would allow one to write e.g.
xs `zipWith (+)` ys
In general expr1
Philippa Cowderoy wrote:
On Wed, 8 Mar 2006, Doaitse Swierstra wrote:
xs `zipWith (+)` ys
There is one problem with this: it doesn't nest [...]
Another problem is that it's not clear how to declare the fixity of these
things. Should they always have the default fixity? Should they be
