无点风格Haskell

Haskell 是一门特别注重函数式编程范式的语言。其中的“无点风格”（point-free style）指的是不用显式地给出函数的参数。

什么是“点”？

在 Haskell 中，函数可以看成是将一个输入转换为一个输出的映射。例如，下面这个函数将一个整数加上 1：

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

在上面的代码中，addOne 函数虽然并没有显式地给出参数，但是由于它将 x 加上了一个 1，因此 x 就是它的参数。在调用这个函数时，我们需要手动地给出参数，例如：

addOne 2
-- 输出 3

上面这行代码中，调用了 addOne 函数，并给出了参数 2。此时，Haskell 中的 “点”（.）就出现了。

“点”的含义

在 Haskell 中，. 操作符可以将两个函数合并成一个。例如，下面这段代码：

f = g . h

表示将 g 和 h 两个函数合并成一个新的函数 f。这个新的函数 f 与 h 函数的返回值和 g 函数接受的参数一样。

如果我们现在有一个函数 addOne，和一个用来将字符串转换为整数的函数 read，我们可以将它们组合成一个新的函数：

addOneToReadInt :: String -> Int
addOneToReadInt = addOne . read

在上面的代码中，我们利用了点操作符，将 addOne 和 read 两个函数组合成了一个新的函数 addOneToReadInt。这个函数需要一个字符串作为参数，返回的结果是这个字符串所表示的整数值加上 1。

我们可以通过下面这行代码来测试一下这个函数：

addOneToReadInt "3"
-- 输出 4

如果我们想要将一个整数加上 1，然后再将其转换为字符串，我们可以将 addOne 和 show 两个函数组合起来：

addOneToString :: Int -> String
addOneToString = show . addOne

在上面的代码中，我们利用点操作符将 show 和 addOne 两个函数组合成了一个新的函数 addOneToString。这个新的函数需要一个整数作为参数，返回的结果是这个整数加上 1 所表示的字符串。

我们可以通过下面这行代码来测试一下这个函数：

addOneToString 3
-- 输出 "4"

无点风格 Haskell

Haskell 的函数式编程范式追求将程序实现看作是一系列函数的组合。因此，将函数组合起来是非常常见的操作。同时，Haskell 也支持无点风格编程。

在无点风格编程中，我们不再需要显式地给出函数的参数，而是通过函数的组合来实现输入和输出的转换。例如，我们可以将之前的 addOne 函数改写成无点风格的形式：

addOne = (+ 1)

在上面的代码中，我们利用了 Haskell 中的应用操作符 $ 和取反操作符 ~，把一个类似于 lambda 表达式的函数变成了一个普通的函数。这个新的 addOne 函数也可以接受一个整数作为参数，并返回这个整数加上 1 的结果。

我们还可以将之前的 addOneToReadInt 和 addOneToString 两个函数改写为无点风格：

addOneToReadInt = addOne . read
addOneToString = show . addOne

在这两个函数中，我们都使用了点操作符来组合函数，而无须显式地给出函数的参数。

总结

无点风格是 Haskell 中的函数式编程的重要特征之一。在无点风格编程中，我们可以把一个函数组合起来，进而实现输入和输出之间的转换。这样的编程方式更为简洁和优雅，可以让代码更易于理解和维护。