Haskell 函数

Haskell 是一种函数式编程语言，因此函数在 Haskell 中有着极其重要的地位。本文将介绍 Haskell 函数的一些基本概念。

函数定义

Haskell 函数的定义非常简洁，下面是一个简单的例子：

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

这个函数的类型声明是 add :: Int -> Int -> Int，它表示这个函数接受两个 Int 类型的参数，并返回一个 Int 类型的结果。我们还可以给出这个函数的一些例子：

add 1 2 -- 返回 3
add 0 0 -- 返回 0

匿名函数

Haskell 支持匿名函数，也就是没有函数名的函数。一个简单的例子：

(\x -> x + 1) 2 -- 返回 3

这个匿名函数接受一个参数 x，并返回 x + 1。

函数组合

函数组合是 Haskell 中的一个重要概念，它可以将多个函数组合起来形成一个新的函数。下面是一个例子：

add1 :: Int -> Int
add1 x = x + 1

double :: Int -> Int
double x = x * 2

add1AndDouble :: Int -> Int
add1AndDouble = double . add1

这里，我们定义了两个函数 add1 和 double，它们分别将参数加 1 和乘以 2。然后我们使用函数组合运算符 . 来组合它们形成一个新的函数 add1AndDouble。这个新函数先将参数加 1，然后将结果乘以 2。下面是一些例子：

add1AndDouble 1 -- 返回 4
add1AndDouble 2 -- 返回 6

柯里化

在 Haskell 中，函数都是柯里化的。这意味着每个函数只接受一个参数。例如，我们可以把定义函数 add 改写成这样：

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

这里，add 函数接受一个 Int 类型的参数 x，返回一个函数，这个函数接受一个 Int 类型的参数 y，并返回一个 Int 类型的结果。

我们可以利用这个特性，来定义一个函数用于柯里化其他函数：

curry' :: ((a, b) -> c) -> (a -> b -> c)
curry' f = \x y -> f (x, y)

这里，curry' 函数接受一个函数 f，并将其变成一个柯里化的函数。下面是一个例子：

add :: (Int, Int) -> Int
add (x, y) = x + y

add' :: Int -> Int -> Int
add' = curry' add

add' 1 2 -- 返回 3

在这个例子中，我们首先定义了函数 add，它接受一个二元组 (Int, Int)，返回一个 Int 类型的结果。然后我们使用 curry' 函数将 add 变成一个柯里化的函数 add'。最后，我们可以使用 add' 来计算 1 + 2。

总结

本文介绍了 Haskell 函数的一些基本概念，包括函数定义、匿名函数、函数组合和柯里化。这些概念是 Haskell 编程中的基石，对于理解 Haskell 编程非常重要。