haskell如何比较函数应用的优先级和乘法的优先级?

moonsister02

在yaht_cn.pdf教程当中，第一个习题是，编一个简单的程序，来决定如何比较函数应用的优先级和乘法的优先级。

这个有什么思路么?

OwnWaterloo

找个可以产生歧义的表达式，比如：

1. 
   
2. f x * y
   
3. ((f x) * y) -- > 1. 将application的结果用于multiplication
   
4. (f (x * y)) -- > 2. 将multiplication的结果用于application
   

复制代码

令f=abs, x=-12, y=-26。
如果是1， 结果应是负数； 否则结果是正数。
实际测试得到：

1. 
   
2. abs (-12) * (-26)     -- > -312
   
3. ((abs (-12)) * (-26)) -- > -312
   
4. (abs ((-12) * (-26))) -- >  312
   

复制代码

moonsister02

OwnWaterloo 发表于 2012-04-10 15:16
找个可以产生歧义的表达式，比如：令f=abs, x=-12, y=-26。
如果是1， 结果应是负数； 否则结果是正数。
...

谢谢，
Prelude> abs (-12) * (-26)
-312

但是我想知道我为什么不能去掉复数的括号?
Prelude> abs -12 * -26

<interactive>:1:1:
    Precedence parsing error
        cannot mix `*' [infixl 7] and prefix `-' [infixl 6] in the same infix expression

OwnWaterloo

回复 3# moonsister02

这是haskell一个不太和谐的地方……
我也说不清楚……

如果"-"能被解析为一元运算符，就可以：
-3 + 2 -- > -1
3 * (-2 + 3) -- > 3

如果不能，比如：2 + -3
就得换一种写法：
2 + (-3) -- > -1
2 + negate 3 -- > -1

(-3) 不也再是section， 需要(subtract 3)……

tangboyun

你可以把取负写作 negate，Haskell里 (-)可以解释为一元操作符或者二元操作符。