Haskell中->、=与函数应用（f x）的优先级是怎样的？

我完全理解你作为Haskell新手在梳理这些核心语法结构时的困惑——毕竟Haskell的设计思路和命令式语言差异很大，而这些内置语法又不像普通运算符那样能通过:info直接查询。下面我会逐个拆解你提到的几个关键点：

1. 为什么ghci的:i命令查不到->和=？ #

你说得没错，->和=都属于Haskell的内置语法结构，而非普通的运算符、类型构造器或标识符。:info（缩写:i）命令的作用是查询有明确定义的语言实体（比如函数、类型类、运算符等），但这些语法关键字是编译器直接硬编码解析的，没有对应的"定义"可以被查询，所以尝试:i (->)或:i (=)会触发语法错误。

2. =的本质：它不是运算符，也不返回值 #

这是很多Haskell新手容易踩的坑——把Haskell的=和命令式语言的赋值运算符混淆。实际上：

• =是绑定定义的语法，用来给名字绑定值、函数或类型。它不是表达式，因此没有返回值。
• 举个例子：x = 5不是"把5赋值给x并返回5"，而是将值5永久绑定到名字x上；函数定义add x y = x + y则是把一个柯里化的函数绑定到名字add上。

3. ->的优先级与结合性 #

->仅在类型签名语境下有意义，它是右结合的语法结构，优先级极低：

• 比如类型签名a -> b -> c会被编译器解析为a -> (b -> c)，这正好对应Haskell的柯里化特性——多参数函数本质上是返回函数的函数。
• 注意：在表达式层面，你不会直接使用->作为运算符（除非你自己定义同名的运算符，但这会造成极大混淆，不推荐）。

4. 函数应用（f x）的优先级 #

函数应用是Haskell中优先级最高的操作，没有之一：

• 比如表达式f x + g y会被自动解析为(f x) + (g y)，因为函数应用的优先级高于算术运算符+。
• 函数应用是左结合的，比如f x y等价于(f x) y——先将f应用到x得到一个新函数，再将这个新函数应用到y。

5. 逗号,的行为 #

逗号是Haskell中元组构造的语法糖，属于左结合：

• 比如1, 2, 3实际上被解析为((1, 2), 3)（Haskell会通过语法糖让它看起来是扁平元组，但本质是嵌套的）。它的优先级低于函数应用，因此f (1,2)不能写成f 1,2（后者会被解析为(f 1), 2）。

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