所有柯里化函数都属于高阶函数吗？是否通常被如此称呼？

首先直接回答核心问题：所有柯里化函数都是高阶函数，但在Haskell的日常开发语境中，通常不会把普通的柯里化函数特意称为高阶函数。

为什么柯里化函数属于高阶函数？ #

根据你提到的定义：高阶函数是接收其他函数作为参数，和/或返回其他函数的函数。

柯里化的本质是将多参数函数拆解为一系列单参数函数的链式调用——每接收一个参数，就返回一个新的函数来接收下一个参数。比如在Haskell中，一个看似接收两个Int的函数：

add :: Int -> Int -> Int
add x y = x + y

它的实际类型是Int -> (Int -> Int)，意思是接收一个Int，返回一个接收Int并返回Int的函数。当你调用add 5时，得到的就是一个Int -> Int类型的函数（\y -> 5 + y），完全符合“返回其他函数”的高阶函数判定条件。

为什么日常不会这么称呼？ #

在Haskell中，所有多参数函数默认都是柯里化的——这是语言的基础特性，几乎所有你写的多参数函数都是柯里化形式。

高阶函数这个术语，在Haskell社区里更多用来指代那些以函数为核心操作对象的函数：

• 比如map :: (a -> b) -> [a] -> [b]，它接收一个转换函数作为参数，对列表元素批量处理；
• 再比如foldr :: (a -> b -> b) -> b -> [a] -> b，接收一个折叠函数来聚合列表；
• 还有(.) :: (b -> c) -> (a -> b) -> a -> c，专门用来做函数组合。

这些函数的核心作用是操作或组合其他函数，而普通的柯里化多参数函数（比如上面的add），大家通常直接叫它“多参数函数”或“柯里化函数”，不会特意强调它是高阶函数——因为这在Haskell里是默认属性，没必要额外点明。

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