Haskell函数输出异常求助：计算结果不符合预期

问题的核心在于Haskell的函数应用优先级高于所有运算符，且函数应用是左结合的，这直接导致你的代码被解析成了和预期不同的逻辑。

原代码的实际解析逻辑 #

你的原代码最后一行：

else squareSum) (x^2 + y^2) (x+y)^2

会被Haskell按照优先级规则解析为：

((\sumSquare squareSum -> ...) (x^2 + y^2) (x+y)) ^ 2

具体执行流程：

1. 先将匿名函数应用到两个参数：x²+y²（调用sumSquareOrSquareSum' 1 2时，值为1²+2²=5）和x+y（值为1+2=3）
2. 匿名函数比较5和3，返回较大的5
3. 最后对这个返回值做平方运算：5²=25，这就是你得到25的原因

验证你的测试结果 #

• 当两个分支都返回squareSum时，匿名函数返回第二个参数3，再平方得到3²=9，与你看到的结果一致
• 当两个分支都返回sumSquare时，匿名函数返回5，再平方得到5²=25，符合测试结果
• 把判断条件改为小于时，匿名函数返回较小的3，再平方得到3²=9，也和你的测试匹配

修复方案的原理 #

你给(x+y)^2加上括号后：

else squareSum) (x^2 + y^2) ((x+y)^2)

括号强制Haskell先计算(x+y)^2得到9，再将其作为匿名函数的第二个参数传入。此时匿名函数比较的是5和9，返回较大的9，符合你的预期。

关键规则总结 #

• 在Haskell中，函数应用（比如f a b）的优先级比任何运算符（包括^、+）都高
• 函数应用是左结合的，即f a b c等价于((f a) b) c
• 如果需要将一个运算符表达式作为函数参数，必须用括号将其括起来，明确它是一个独立的参数

内容的提问来源于stack exchange，提问作者Michael Jackson