如何计算Haskell中右参数部分应用的operator section类型

处理右段（即仅提供右操作数的运算符section，形式为(op expr)，比如你提到的(> 0)）时，不能直接套用左段(expr op)转op expr的逻辑，核心是先做正确的语义等价转换，再按常规类型规则推导，步骤如下：

• 先明确基础规则：所有中缀运算符转为前缀形式后，参数顺序固定为左操作数是第一参数，右操作数是第二参数，和你处理左段时用的前缀形式参数规则完全一致。
• 做等价转换：右段(op expr)的语义等价于lambda表达式\x -> op x expr——其中x是后续调用时传入的左操作数，固定放在前缀运算符的第一参数位，段内给出的expr固定放在第二参数位。
• 按常规函数应用的类型统一规则计算即可：先拿到运算符op的原生类型，把expr的类型和op的第二参数类型做统一，把lambda参数x的类型和op的第一参数类型做统一，收集所有类型约束，最终得到的函数类型就是「接收一个和op第一参数同类型的值，返回op结果类型的值」。

推导示例 #

示例1：(> 0)的类型推导 #

1. 首先取比较运算符>的原生类型：Ord a => a -> a -> Bool，即要求两个参数类型相同、满足Ord类型类约束，返回布尔值。
2. 把(> 0)转为等价lambda：\x -> (>) x 0。
3. 做类型统一：

• 字面量0的类型为Num b => b，对应>的第二参数位置，需要和第二参数的类型a对齐，因此新增Num a约束；
• lambda参数x对应>的第一参数位置，类型为a，继承>自带的Ord a约束；
• 函数返回值类型为Bool。

4. 最终得到类型：(Ord a, Num a) => a -> Bool，和实际调用行为一致——比如(>0) 2会返回True。

示例2：(: [])的类型推导（反例，说明不能直接套用左段转换逻辑） #

列表构造运算符:的原生类型是a -> [a] -> [a]：第一参数是单个元素，第二参数是同类型元素的列表，返回拼接后的新列表。
如果错误套用左段的转换规则，把(: [])直接转成(:) []，会推导出类型a -> [[a]]，和实际语义完全不符。
按正确规则推导：

1. 转换为等价lambda：\x -> (:) x []。
2. 类型统一：

• 空列表[]的类型为[b]，对应:的第二参数[a]，因此类型统一为b ~ a；
• lambda参数x对应:的第一参数，类型为a；
• 返回值类型为[a]。

3. 最终得到正确类型a -> [a]，和实际语义\x -> [x]（单元素列表构造函数）完全一致。

语法特例提示：Haskell中(- 数字)的写法会被直接解析为负数字面量，不会被识别为减法的右section。如果要表示「减去固定值」的右section，需要用subtract函数，比如(subtract 1)等价于\x -> x - 1，类型为Num a => a -> a，这是单独的语法糖特殊处理，不属于通用operator section的规则范围。

内容的提问来源于stack exchange，提问作者F. Zer