Haskell中函数应用及()、.、$的区别解析

让我结合你的测试例子，一步步拆解这三个常用操作的核心区别，帮你理清它们的用法场景～

1. 括号()：最直接的优先级控制器 #

括号在Haskell里的作用和大多数语言一样——强制改变求值顺序，明确让括号内的表达式先计算完成，再作为参数传给外层函数。

看你第一个能正常运行的例子：

100 / fromIntegral( length [1..10] )

这里的括号确保length [1..10]先求值得到10（Int类型），然后这个结果才会作为fromIntegral的参数，转成Fractional兼容的类型，最后和100做除法得到10.0。如果没有括号，Haskell的优先级规则会让fromIntegral先和length结合（因为函数应用优先级最高），反而会出错。

2. 函数组合.：把函数“串”起来 #

.是函数组合操作符，它的作用是把两个函数拼接成一个新函数——让第一个函数的输出，直接作为第二个函数的输入。它的类型签名是：

(.) :: (b -> c) -> (a -> b) -> a -> c

简单说，f . g等价于\x -> f (g x)。注意！.的两边必须都是函数，不能是具体的值。

你的错误例子问题就出在这里：

100 / fromIntegral . length [1..10]

length [1..10]已经是一个具体的值（Int类型的10），但.的右边需要的是一个函数（比如length本身，而不是它的求值结果）。编译器自然会报错：它期望得到一个a -> Integer类型的函数，却收到了Int类型的值。

正确的用法应该是先组合函数，再传参数：

-- 用括号明确组合函数的范围
100 / (fromIntegral . length) [1..10]
-- 或者用$降低优先级，让函数组合先生效
100 / fromIntegral . length $ [1..10]

这两种写法都会先把fromIntegral和length组合成一个新函数（输入列表，输出转成Fractional类型的长度），再把[1..10]传给这个函数，最后完成除法运算。

3. 函数应用$：减少括号的“语法糖” #

$的作用是降低优先级，它的类型签名是：

($) :: (a -> b) -> a -> b

看起来它和普通的函数应用（比如f x）没区别，但关键在于它的优先级极低，而且是右结合的。这意味着f $ x等价于f x，但当有多层嵌套时，f $ g $ h x等价于f (g (h x))，可以帮你省去一堆括号。

比如你的第一个例子可以改写成：

100 / (fromIntegral $ length [1..10])

甚至更复杂的场景，比如：

-- 嵌套括号写法
print (show (succ (*2 3)))
-- 用$简化
print $ show $ succ $ (*2) 3

这样代码可读性会高很多。另外，$经常和.配合使用，比如f . g $ x等价于f (g x)，这是Haskell里非常常见的写法。

总结一下使用场景 #

• ()：当你需要明确控制某一小段表达式的求值顺序时用，适合简单嵌套。
• .：当你需要把多个函数串起来，生成一个新的处理流程时用（比如数据转换链）。
• $：当你想减少嵌套括号，让代码更简洁易读时用，尤其适合多层函数应用的场景。

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