F#中forward composition operator与pipe forward operator优先级对比及查询渠道

优先级关系 #

>>（函数向前组合运算符）的优先级高于|>（管道向前运算符）。无括号时，>>会先被求值，再处理|>。

用代码示例验证：

let add1 x = x + 1
let multiply2 x = x * 2
let subtract3 x = x - 3

// 表达式实际求值顺序等价于 5 |> (add1 >> multiply2) |> subtract3
let result = 5 |> add1 >> multiply2 |> subtract3
// 计算过程：(5+1)*2=12，12-3=9，最终result为9

如果|>优先级更高，结果会完全不同，实际运行结果验证了>>的优先级更高。

优先级信息的查询渠道 #

• F# 语言规范：完整的官方语言规范会定义所有运算符的优先级与结合性，包括|>和>>这类库定义运算符的规则，是最权威的来源。
• F# 编译器源码：查看编译器源码中运算符优先级的定义部分，能直接看到|>和>>对应的优先级层级，其中>>的层级略高于|>。
• 官方语言参考细节：虽然简化的优先级表格未列出，但官方文档的运算符详细说明章节，会通过示例或文字描述间接体现两者的优先级关系。
• 代码测试验证：编写不同组合的表达式，观察运行结果反向推导优先级，是快速验证的实用方式。

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