为什么我的Haskell自定义函数的参数y必须为Bool类型？

核心原因和Haskell的两个基础规则直接相关：

• if 是表达式而非语句，要求then分支和else分支的返回值类型必须完全一致，整个if表达式的最终类型就是两个分支的公共类型
• if 后紧跟的判断条件必须是Bool类型

对你定义的函数推导过程如下：

1. 变量x出现在if的判断条件位置，因此直接推导x :: Bool
2. then分支返回值是x，因此整个if表达式的返回类型被限定为Bool
3. else分支返回值是y，必须和then分支类型一致，因此推导y :: Bool
4. 最终函数整体类型就是f2 :: Bool -> Bool -> Bool

如果你需要实现「判断条件为布尔类型，两个返回值可以是任意相同类型」的通用选择函数，可以写成下面的形式：

f3 :: Bool -> a -> a -> a
f3 cond a b = if cond then a else b

这种情况下两个返回值类型相同即可，不需要是Bool，只是你原函数的then分支返回了作为判断条件的x（本身是Bool），才连带把y也限定为了Bool类型。

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