sum xssum [] = 0但是，注意到作为一种折叠（fold），编程者可以将它改写为：sum xs = foldr (+) 0 xs因而参数是不需要的，进而将它改写成如下无点样式：sum = foldr (+) 0另一个例子使用函数复合：p x y z = f (g x y) z下列类Haskell伪码展示了如何将一个函数定义归约成无点的等价定义：p = \x -> \y -> \z -> f (g x y) z所以：p = ((.) f) . g最后看一个复杂的