Haskell中min、max函数混合参数类型为何返回结果一致？

哇，这个问题挺有意思的！我来帮你拆解一下到底是怎么回事～

核心原因1：min和max是二元函数，多参数调用是连续左结合 #

首先得明确：Haskell里的min和max本质是二元函数——每次只能接受两个参数。你写的三个参数的调用，其实是左结合的连续调用：

• min 8.0 8 8.0 等价于 (min 8.0 8) 8.0
• max 8 8.0 8.0 等价于 (max 8 8.0) 8.0

也就是说，先处理前两个参数，再把结果和第三个参数做运算。

核心原因2：数值类型的默认转换规则 #

Haskell的类型系统非常严格，min和max要求两个参数必须是同一类型（类型签名是Ord a => a -> a -> a）。当你混合不同数值类型（比如Int的8和Double的8.0）时，GHC会触发默认数值类型规则：把更“窄”的类型（Int）自动转换为更“宽”的类型（Double），这样才能满足类型约束。

对应到你的例子 #

• 对于min 8.0 8：8被自动转换成Double类型的8.0，所以这一步结果是8.0；再和第三个参数8.0做min，结果自然还是8.0。
• 对于max 8 8.0：同样，8被转换成Double的8.0，这一步结果是8.0；再和第三个8.0做max，结果还是8.0。

不管你把Int参数放在哪个位置，只要有Double参数存在，所有Int都会被默认转成Double，整个运算都在Double类型下进行，结果当然是8.0啦。

小拓展：怎么让结果返回Int的8？ #

如果想让max返回Int类型的8，你需要显式指定所有参数的类型，避免自动转换：

Prelude> max (8 :: Int) 8 8
8

或者确保所有参数都是Int类型，这样GHC就不会触发Double的默认转换了。

内容的提问来源于stack exchange，提问作者Flame of udun