prefix minus and infix resolution

[Atze Dijkstra]

Hi,

I prefer the simplicity of http://hackage.haskell.org/trac/haskell-prime/wiki/NegationBindsTightly over the more involved proposal. I think we should take every opportunity to simplify matters instead of complicating them. Although each individual improvement (like this) seems harmless, beneficial, and easy to implement, it is the combination of such features which often has given me unexpected implementation headaches (e.g. interaction with operator sections, or layout rule). More complex means more implementation effort means fewer tools which can assist with Haskell syntax, e.g. editing environments will have a tougher job of parsing correctly, fewer implementers will implement it. I'd gladly pay the price of adding some parenthesis to force "- x ^ 2" to "- (x ^ 2)". This is also much more clearer, less dependent on context info (i.e. the fixity of other operators), thus understandable without inspecting the definition of ^ in some other module, and thus also easier to explain (to students), and thus lessening the steepness of Haskells learning curve somewhat.

cheers,

On  13 Jul, 2010, at 18:38 , Christian Maeder wrote:

> Hi,
> 
> I'm asking for support of:
> 
> http://hackage.haskell.org/trac/haskell-prime/wiki/PrefixMinusResolution
> 
> Cheers Christian
> 
> Simon Marlow schrieb:
>> BTW, here's a related proposal made by Simon PJ earlier this year:
>> 
>> http://hackage.haskell.org/trac/haskell-prime/wiki/NegationBindsTightly
>> 
>> please consider merging the proposals, or at least clearly identifying
>> the differences, if any.
> 
> _______________________________________________
> Haskell-prime mailing list
> Haskell-prime at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-prime


                - Atze -

Atze Dijkstra, Department of Information and Computing Sciences. /|\
Utrecht University, PO Box 80089, 3508 TB Utrecht, Netherlands. / | \
Tel.: +31-30-2534118/1454 | WWW  : http://www.cs.uu.nl/~atze . /--|  \
Fax : +31-30-2513971 .... | Email: atze at cs.uu.nl ............ /   |___\