第 13 章:数据结构

关联列表

我们常常会跟一些以键为索引的无序数据打交道。

举个例子,UNIX 管理猿可能需要这么一个列表,它包含系统中所有用户的 UID ,以及和这个 UID 相对应的用户名。这个列表根据 UID 而不是数据的位置来查找相应的用户名。换句话来说, UID 就是这个数据集的键。

Haskell 里有几种不同的方法来处理这种结构的数据,最常用的两个是关联列表(association list)和 Data.Map 模块提供的 Map 类型。

关联列表非常简单,易于使用。由于关联列表由 Haskell 列表构成,因此所有列表操作函数都可以用于处理关联列表。

另一方面, Map 类型在处理大数据集时,性能比关联列表要好。

本章将同时介绍这两种数据结构。

关联列表就是包含一个或多个 (key, value) 元组的列表, keyvalue 可以是任意类型。一个处理 UID 和用户名映射的关联列表的类型可能是 [(Integer, String)]

[注:关联列表的 key 必须是 Eq 类型的成员。]

关联列表的构建方式和普通列表一样。Haskell 提供了一个 Data.List.lookup 函数,用于在关联列表中查找数据。这个函数的类型签名为 Eq a => a -> [(a, b)] -> Maybe b 。它的使用方式如下:

  1. Prelude> let al = [(1, "one"), (2, "two"), (3, "three"), (4, "four")]
  2.  
  3. Prelude> lookup 1 al
  4. Just "one"
  5.  
  6. Prelude> lookup 5 al
  7. Nothing

lookup 函数的定义如下:

  1. -- file: ch13/lookup.hs
  2. myLookup :: Eq a => a -> [(a, b)] -> Maybe b
  3. myLookup _ [] = Nothing
  4. myLookup key ((thiskey, thisval):rest) =
  5. if key == thiskey
  6. then Just thisval
  7. else myLookup key rest

lookup 在输入列表为空时返回 Nothing 。如果输入列表不为空,那么它检查当前列表元素的 key 是否就是我们要找的 key ,如果是的话就返回和这个 key 对应的 value ,否则就继续递归处理剩余的列表元素。

再来看一个稍微复杂点的例子。在 Unix/Linux 系统中,有一个 /etc/passwd 文件,这个文件保存了用户名称, UID,用户的 HOME 目录位置,以及其他一些数据。文件以行分割每个用户的资料,每个数据域用冒号隔开:

  1. root:x:0:0:root:/root:/bin/bash
  2. daemon:x:1:1:daemon:/usr/sbin:/bin/sh
  3. bin:x:2:2:bin:/bin:/bin/sh
  4. sys:x:3:3:sys:/dev:/bin/sh
  5. sync:x:4:65534:sync:/bin:/bin/sync
  6. games:x:5:60:games:/usr/games:/bin/sh
  7. man:x:6:12:man:/var/cache/man:/bin/sh
  8. lp:x:7:7:lp:/var/spool/lpd:/bin/sh
  9. mail:x:8:8:mail:/var/mail:/bin/sh
  10. news:x:9:9:news:/var/spool/news:/bin/sh
  11. jgoerzen:x:1000:1000:John Goerzen,,,:/home/jgoerzen:/bin/bash

以下程序读入并处理 /etc/passwd 文件,它创建一个关联列表,使得我们可以根据给定 UID ,获取相应的用户名:

  1. -- file: ch13/passwd-al.hs
  2. import Data.List
  3. import System.IO
  4. import Control.Monad(when)
  5. import System.Exit
  6. import System.Environment(getArgs)
  7.  
  8. main = do
  9. -- Load the command-line arguments
  10. args <- getArgs
  11.  
  12. -- If we don't have the right amount of args, give an error and abort
  13. when (length args /= 2) $ do
  14. putStrLn "Syntax: passwd-al filename uid"
  15. exitFailure
  16.  
  17. -- Read the file lazily
  18. content <- readFile (args !! 0)
  19.  
  20. -- Compute the username in pure code
  21. let username = findByUID content (read (args !! 1))
  22.  
  23. -- Display the result
  24. case username of
  25. Just x -> putStrLn x
  26. Nothing -> putStrLn "Could not find that UID"
  27.  
  28. -- Given the entire input and a UID, see if we can find a username.
  29. findByUID :: String -> Integer -> Maybe String
  30. findByUID content uid =
  31. let al = map parseline . lines $ content
  32. in lookup uid al
  33.  
  34. -- Convert a colon-separated line into fields
  35. parseline :: String -> (Integer, String)
  36. parseline input =
  37. let fields = split ':' input
  38. in (read (fields !! 2), fields !! 0)
  39.  
  40. -- Takes a delimiter and a list.
  41. -- Break up the list based on the delimiter.
  42. split :: Eq a => a -> [a] -> [[a]]
  43.  
  44. -- If the input is empty, the result is a list of empty lists.
  45. split _ [] = [[]]
  46. split delimiter str =
  47. let -- Find the part of the list before delimiter and put it in "before".
  48. -- The result of the list, including the leading delimiter, goes in "remainder".
  49. (before, remainder) = span (/= delimiter) str
  50. in before : case remainder of
  51. [] -> []
  52. x -> -- If there is more data to process,
  53. -- call split recursively to process it
  54. split delimiter (tail x)

findByUID 是整个程序的核心,它逐行读入并处理输入,使用 lookup 从处理结果中查找给定 UID :

  1. *Main> findByUID "root:x:0:0:root:/root:/bin/bash" 0
  2. Just "root"

parseline 读入并处理一个字符串,返回一个包含 UID 和用户名的元组:

  1. *Main> parseline "root:x:0:0:root:/root:/bin/bash"
  2. (0,"root")

split 函数根据给定分隔符 delimiter 将一个文本行分割为列表:

  1. *Main> split ':' "root:x:0:0:root:/root:/bin/bash"
  2. ["root","x","0","0","root","/root","/bin/bash"]

以下是在本机执行 passwd-al.hs 处理 /etc/passwd 的结果:

  1. $ runghc passwd-al.hs /etc/passwd 0
  2. root
  3.  
  4. $ runghc passwd-al.hs /etc/passwd 10086
  5. Could not find that UID

Map 类型

Data.Map 模块提供的 Map 类型的行为和关联列表类似,但 Map 类型的性能更好。

Map 和其他语言提供的哈希表类似。不同的是, Map 的内部由平衡二叉树实现,在 Haskell 这种使用不可变数据的语言中,它是一个比哈希表更高效的表示。 这是一个非常明显的例子,说明纯函数式语言是如何深入地影响我们编写程序的方式:对于一个给定的任务,我们总是选择合适的算法和数据结构,使得解决方案尽可能地简单和有效,但这些(纯函数式的)选择通常不同于命令式语言处理同样问题时的选择。

因为 Data.Map 模块的一些函数和 Prelude 模块的函数重名,我们通过 import qualified Data.Map as Map 的方式引入模块,并使用 Map.name 的方式引用模块中的名字。

先来看看如何用几种不同的方式构建 Map

  1. -- file: ch13/buildmap.hs
  2. import qualified Data.Map as Map
  3.  
  4. -- Functions to generate a Map that represents an association list
  5. -- as a map
  6.  
  7. al = [(1, "one"), (2, "two"), (3, "three"), (4, "four")]
  8.  
  9. -- Create a map representation of 'al' by converting the association
  10. -- list using Map.fromList
  11. mapFromAL =
  12. Map.fromList al
  13.  
  14. -- Create a map representation of 'al' by doing a fold
  15. mapFold =
  16. foldl (\map (k, v) -> Map.insert k v map) Map.empty al
  17.  
  18. -- Manually create a map with the elements of 'al' in it
  19. mapManual =
  20. Map.insert 2 "two" .
  21. Map.insert 4 "four" .
  22. Map.insert 1 "one" .
  23. Map.insert 3 "three" $ Map.empty

Map.insert 函数处理数据的方式非常『 Haskell 化』:它返回经过函数应用的输入数据的副本。这种处理数据的方式在操作多个 Map 时非常有用,它意味着你可以像前面代码中 mapFold 那样使用 fold 来构建一个 Map ,又或者像 mapManual 那样,串连起多个 Map.insert 调用。

[译注:这里说『 Haskell 化』实际上就是『函数式化』,对于函数式语言来说,最常见的函数处理方式是接受一个输入,然后返回一个输出,输出是另一个独立的值,且原输入不会被修改。]

现在,到 ghci 中验证一下是否所有定义都如我们所预期的那样工作:

  1. Prelude> :l buildmap.hs
  2. [1 of 1] Compiling Main ( buildmap.hs, interpreted )
  3. Ok, modules loaded: Main.
  4.  
  5. *Main> al
  6. Loading package array-0.4.0.0 ... linking ... done.
  7. Loading package deepseq-1.3.0.0 ... linking ... done.
  8. Loading package containers-0.4.2.1 ... linking ... done.
  9. [(1,"one"),(2,"two"),(3,"three"),(4,"four")]
  10.  
  11. *Main> mapFromAL
  12. fromList [(1,"one"),(2,"two"),(3,"three"),(4,"four")]
  13.  
  14. *Main> mapFold
  15. fromList [(1,"one"),(2,"two"),(3,"three"),(4,"four")]
  16.  
  17. *Main> mapManual
  18. fromList [(1,"one"),(2,"two"),(3,"three"),(4,"four")]

注意, Map 并不保证它的输出排列和原本的输入排列一致,对比 mapManual 的输入和输出可以看出这一点。

Map 的操作方式和关联列表类似。 Data.Map 模块提供了一组函数,用于增删 Map 元素,对 Map 进行过滤、修改和 fold ,以及在 Map 和关联列表之间进行转换。 Data.Map 模块本身的文档非常优秀,因此我们在这里不会详细讲解每个函数,而是在本章的后续内容中,通过例子来介绍这些概念。

函数也是数据

Haskell 语言的威力部分在于它可以让我们方便地创建并操作函数。

以下示例展示了怎样将函数保存到记录的域中:

  1. -- file: ch13/funcrecs.hs
  2.  
  3. -- Our usual CustomColor type to play with
  4. data CustomColor =
  5. CustomColor {red :: Int,
  6. green :: Int,
  7. blue :: Int}
  8. deriving (Eq, Show, Read)
  9.  
  10. -- A new type that stores a name and a function.
  11. -- The function takes an Int, applies some computation to it,
  12. -- and returns an Int along with a CustomColor
  13. data FuncRec =
  14. FuncRec {name :: String,
  15. colorCalc :: Int -> (CustomColor, Int)}
  16.  
  17. plus5func color x = (color, x + 5)
  18.  
  19. purple = CustomColor 255 0 255
  20.  
  21. plus5 = FuncRec {name = "plus5", colorCalc = plus5func purple}
  22. always0 = FuncRec {name = "always0", colorCalc = \_ -> (purple, 0)}

注意 colorCalc 域的类型:它是一个函数,接受一个 Int 类型值作为参数,并返回一个 (CustomColor, Int) 元组。

我们创建了两个 FuncRec 记录: plus5always0 ,这两个记录的 colorCalc 域都总是返回紫色(purple)。 FuncRec 自身并没有域去保存所使用的颜色,颜色的值被保存在函数当中 —— 我们称这种用法为闭包

以下是示例代码:

  1. *Main> :l funcrecs.hs
  2. [1 of 1] Compiling Main ( funcrecs.hs, interpreted )
  3. Ok, modules loaded: Main.
  4.  
  5. *Main> :t plus5
  6. plus5 :: FuncRec
  7.  
  8. *Main> name plus5
  9. "plus5"
  10.  
  11. *Main> :t colorCalc plus5
  12. colorCalc plus5 :: Int -> (CustomColor, Int)
  13.  
  14. *Main> (colorCalc plus5) 7
  15. (CustomColor {red = 255, green = 0, blue = 255},12)
  16.  
  17. *Main> :t colorCalc always0
  18. colorCalc always0 :: Int -> (CustomColor, Int)
  19.  
  20. *Main> (colorCalc always0) 7
  21. (CustomColor {red = 255, green = 0, blue = 255},0)

上面的程序工作得很好,但我们还想做一些更有趣的事,比如说,在多个域中使用同一段数据。可以使用一个类型构造函数来做到这一点:

  1. -- file: ch13/funcrecs2.hs
  2. data FuncRec =
  3. FuncRec {name :: String,
  4. calc :: Int -> Int,
  5. namedCalc :: Int -> (String, Int)}
  6.  
  7. mkFuncRec :: String -> (Int -> Int) -> FuncRec
  8. mkFuncRec name calcfunc =
  9. FuncRec {name = name,
  10. calc = calcfunc,
  11. namedCalc = \x -> (name, calcfunc x)}
  12.  
  13. plus5 = mkFuncRec "plus5" (+ 5)
  14. always0 = mkFuncRec "always0" (\_ -> 0)

mkFuncRecs 函数接受一个字符串和一个函数作为参数,返回一个新的 FuncRec 记录。以下是对 mkFuncRecs 函数的测试:

  1. *Main> :l funcrecs2.hs
  2. [1 of 1] Compiling Main ( funcrecs2.hs, interpreted )
  3. Ok, modules loaded: Main.
  4.  
  5. *Main> :t plus5
  6. plus5 :: FuncRec
  7.  
  8. *Main> name plus5
  9. "plus5"
  10.  
  11. *Main> (calc plus5) 5
  12. 10
  13.  
  14. *Main> (namedCalc plus5) 5
  15. ("plus5",10)
  16.  
  17. *Main> let plus5a = plus5 {name = "PLUS5A"}
  18.  
  19. *Main> name plus5a
  20. "PLUS5A"
  21.  
  22. *Main> (namedCalc plus5a) 5
  23. ("plus5",10)

注意 plus5a 的创建过程:我们改变了 plus5name 域,但没有修改它的 namedCalc 域。这就是为什么调用 name 会返回新名字,而 namedCalc 依然返回原本使用 mkFuncRecs 创建时设置的名字 —— 除非我们显式地修改域,否则它们不会被改变。

扩展示例: /etc/password

以下是一个扩展示例,它展示了几种不同的数据结构的用法,根据 /etc/passwd 文件的格式,程序处理并保存它的实体(entry):

  1. -- file: ch13/passwdmap.hs
  2. import Data.List
  3. import qualified Data.Map as Map
  4. import System.IO
  5. import Text.Printf(printf)
  6. import System.Environment(getArgs)
  7. import System.Exit
  8. import Control.Monad(when)
  9.  
  10. {- | The primary piece of data this program will store.
  11. It represents the fields in a POSIX /etc/passwd file -}
  12. data PasswdEntry = PasswdEntry {
  13. userName :: String,
  14. password :: String,
  15. uid :: Integer,
  16. gid :: Integer,
  17. gecos :: String,
  18. homeDir :: String,
  19. shell :: String}
  20. deriving (Eq, Ord)
  21.  
  22. {- | Define how we get data to a 'PasswdEntry'. -}
  23. instance Show PasswdEntry where
  24. show pe = printf "%s:%s:%d:%d:%s:%s:%s"
  25. (userName pe) (password pe) (uid pe) (gid pe)
  26. (gecos pe) (homeDir pe) (shell pe)
  27.  
  28. {- | Converting data back out of a 'PasswdEntry'. -}
  29. instance Read PasswdEntry where
  30. readsPrec _ value =
  31. case split ':' value of
  32. [f1, f2, f3, f4, f5, f6, f7] ->
  33. -- Generate a 'PasswdEntry' the shorthand way:
  34. -- using the positional fields. We use 'read' to convert
  35. -- the numeric fields to Integers.
  36. [(PasswdEntry f1 f2 (read f3) (read f4) f5 f6 f7, [])]
  37. x -> error $ "Invalid number of fields in input: " ++ show x
  38. where
  39. {- | Takes a delimiter and a list. Break up the list based on the
  40. - delimiter. -}
  41. split :: Eq a => a -> [a] -> [[a]]
  42.  
  43. -- If the input is empty, the result is a list of empty lists.
  44. split _ [] = [[]]
  45. split delim str =
  46. let -- Find the part of the list before delim and put it in
  47. -- "before". The rest of the list, including the leading
  48. -- delim, goes in "remainder".
  49. (before, remainder) = span (/= delim) str
  50. in
  51. before : case remainder of
  52. [] -> []
  53. x -> -- If there is more data to process,
  54. -- call split recursively to process it
  55. split delim (tail x)
  56.  
  57. -- Convenience aliases; we'll have two maps: one from UID to entries
  58. -- and the other from username to entries
  59. type UIDMap = Map.Map Integer PasswdEntry
  60. type UserMap = Map.Map String PasswdEntry
  61.  
  62. {- | Converts input data to maps. Returns UID and User maps. -}
  63. inputToMaps :: String -> (UIDMap, UserMap)
  64. inputToMaps inp =
  65. (uidmap, usermap)
  66. where
  67. -- fromList converts a [(key, value)] list into a Map
  68. uidmap = Map.fromList . map (\pe -> (uid pe, pe)) $ entries
  69. usermap = Map.fromList .
  70. map (\pe -> (userName pe, pe)) $ entries
  71. -- Convert the input String to [PasswdEntry]
  72. entries = map read (lines inp)
  73.  
  74. main = do
  75. -- Load the command-line arguments
  76. args <- getArgs
  77.  
  78. -- If we don't have the right number of args,
  79. -- give an error and abort
  80.  
  81. when (length args /= 1) $ do
  82. putStrLn "Syntax: passwdmap filename"
  83. exitFailure
  84.  
  85. -- Read the file lazily
  86. content <- readFile (head args)
  87. let maps = inputToMaps content
  88. mainMenu maps
  89.  
  90. mainMenu maps@(uidmap, usermap) = do
  91. putStr optionText
  92. hFlush stdout
  93. sel <- getLine
  94. -- See what they want to do. For every option except 4,
  95. -- return them to the main menu afterwards by calling
  96. -- mainMenu recursively
  97. case sel of
  98. "1" -> lookupUserName >> mainMenu maps
  99. "2" -> lookupUID >> mainMenu maps
  100. "3" -> displayFile >> mainMenu maps
  101. "4" -> return ()
  102. _ -> putStrLn "Invalid selection" >> mainMenu maps
  103.  
  104. where
  105. lookupUserName = do
  106. putStrLn "Username: "
  107. username <- getLine
  108. case Map.lookup username usermap of
  109. Nothing -> putStrLn "Not found."
  110. Just x -> print x
  111. lookupUID = do
  112. putStrLn "UID: "
  113. uidstring <- getLine
  114. case Map.lookup (read uidstring) uidmap of
  115. Nothing -> putStrLn "Not found."
  116. Just x -> print x
  117. displayFile =
  118. putStr . unlines . map (show . snd) . Map.toList $ uidmap
  119. optionText =
  120. "\npasswdmap options:\n\
  121. \\n\
  122. \1 Look up a user name\n\
  123. \2 Look up a UID\n\
  124. \3 Display entire file\n\
  125. \4 Quit\n\n\
  126. \Your selection: "

示例程序维持两个 Map :一个从用户名映射到 PasswdEntry ,另一个从 UID 映射到 PasswdEntry 。有数据库使用经验的人可以将它们看作是两个不同数据域的索引。

根据 /etc/passwd 文件的格式, PasswdEntryShowRead 实例分别用于显示(display)和处理(parse)工作。

扩展示例:数字类型(Numeric Types)

我们已经讲过 Haskell 的类型系统有多强大,表达能力有多强。我们已经讲过很多利用这种能力的方法。 现在我们来举一个实际的例子看看。

数值类型 一节中,我们展示了 Haskell 的数字类型类。现在,我们来定义一些类,然后用数字类型类把它们和 Haskell 的基本数学结合起来,看看能得到什么。

我们先来想想我们想用这些新类型在 ghci 里干什么。首先,一个不错的选择是把数学表达式转成字符串,并确保它显示了正确的优先级。我们可以写一个 prettyShow 函数来实现。稍后我们就告诉你怎么写,先来看看怎么用它。

  1. ghci> :l num.hs
  2. [1 of 1] Compiling Main ( num.hs, interpreted )
  3. Ok, modules loaded: Main.
  4. ghci> 5 + 1 * 3
  5. 8
  6. ghci> prettyShow $ 5 + 1 * 3
  7. "5+(1*3)"
  8. ghci> prettyShow $ 5 * 1 + 3
  9. "(5*1)+3"

看起来不错,但还不够聪明。我们可以很容易地把 1 * 从表达式里拿掉。写个函数来简化怎么样?

  1. ghci> prettyShow $ simplify $ 5 + 1 * 3
  2. "5+3"

把数学表达式转成逆波兰表达式(RPN)怎么样?RPN 是一种后缀表示法,它不要求括号,常见于 HP 计算器。 RPN 是一种基于栈的表达式。我们把数字放进栈里,当碰到操作符时,栈顶的数字出栈,结果再被放回栈里。

  1. ghci> rpnShow $ 5 + 1 * 3
  2. "5 1 3 * +"
  3. ghci> rpnShow $ simplify $ 5 + 1 * 3
  4. "5 3 +"

能表示含有未知符号的简单表达式也很不错。

  1. ghci> prettyShow $ 5 + (Symbol "x") * 3
  2. "5+(x*3)"

跟数字打交道时,单位常常很重要。例如,当你看见数字5时,它是5米,5英尺,还是5字节? 当然,当你用5米除以2秒时,系统应该推出来正确的单位。而且,它应该阻止你用2秒加上5米。

  1. ghci> 5 / 2
  2. 2.5
  3. ghci> (units 5 "m") / (units 2 "s")
  4. 2.5_m/s
  5. ghci> (units 5 "m") + (units 2 "s")
  6. *** Exception: Mis-matched units in add
  7. ghci> (units 5 "m") + (units 2 "m")
  8. 7_m
  9. ghci> (units 5 "m") / 2
  10. 2.5_m
  11. ghci> 10 * (units 5 "m") / (units 2 "s")
  12. 25.0_m/s

如果我们定义的表达式或函数对所有数字都合法,那我们就应该能计算出结果,或者把表达式转成字符串。 例如,如果我们定义 test 的类型为 Num a => a,并令 test = 2 * 5 + 3,那我们应该可以:

  1. ghci> test
  2. 13
  3. ghci> rpnShow test
  4. "2 5 * 3 +"
  5. ghci> prettyShow test
  6. "(2*5)+3"
  7. ghci> test + 5
  8. 18
  9. ghci> prettyShow (test + 5)
  10. "((2*5)+3)+5"
  11. ghci> rpnShow (test + 5)
  12. "2 5 * 3 + 5 +"

既然我们能处理单位,那我们也应该能处理一些基本的三角函数,其中很多操作都是关于角的。让我们确保角度和弧度都能被处理。

  1. ghci> sin (pi / 2)
  2. 1.0
  3. ghci> sin (units (pi / 2) "rad")
  4. 1.0_1.0
  5. ghci> sin (units 90 "deg")
  6. 1.0_1.0
  7. ghci> (units 50 "m") * sin (units 90 "deg")
  8. 50.0_m

最后,我们应该能把这些都放在一起,把不同类型的表达式混合使用。

  1. ghci> ((units 50 "m") * sin (units 90 "deg")) :: Units (SymbolicManip Double)
  2. 50.0*sin(((2.0*pi)*90.0)/360.0)_m
  3. ghci> prettyShow $ dropUnits $ (units 50 "m") * sin (units 90 "deg")
  4. "50.0*sin(((2.0*pi)*90.0)/360.0)"
  5. ghci> rpnShow $ dropUnits $ (units 50 "m") * sin (units 90 "deg")
  6. "50.0 2.0 pi * 90.0 * 360.0 / sin *"
  7. ghci> (units (Symbol "x") "m") * sin (units 90 "deg")
  8. x*sin(((2.0*pi)*90.0)/360.0)_m

你刚才看到的一切都可以用 Haskell 的类型和类型类实现。实际上,你看到的正是我们马上要实现的 num.hs

第一步

我们想想怎么实现上面提到的功能。首先,用 ghci 查看一下可知,(+) 的类型是 Num a => a -> a -> a。 如果我们想给加号实现一些自定义行为,我们就必须定义一个新类型并声明它为 Num 的实例。这个类型得用符号的形式来存储表达式。 我们可以从加法操作开始。我们需要存储操作符本身、左侧以及右侧内容。左侧和右侧内容本身又可以是表达式。

我们可以把表达式想象成一棵树。让我们从一些简单类型开始。

  1. -- file: ch13/numsimple.hs
  2. -- 我们支持的操作符
  3. data Op = Plus | Minus | Mul | Div | Pow
  4. deriving (Eq, Show)
  5.  
  6. {- 核心符号操作类型(core symbolic manipulation type -}
  7. data SymbolicManip a =
  8. Number a -- Simple number, such as 5
  9. | Arith Op (SymbolicManip a) (SymbolicManip a)
  10. deriving (Eq, Show)
  11.  
  12. {- SymbolicManip Num 的实例。定义 SymbolicManip 实现 Num 的函数。如(+)等。 -}
  13. instance Num a => Num (SymbolicManip a) where
  14. a + b = Arith Plus a b
  15. a - b = Arith Minus a b
  16. a * b = Arith Mul a b
  17. negate a = Arith Mul (Number (-1)) a
  18. abs a = error "abs is unimplemented"
  19. signum _ = error "signum is unimplemented"
  20. fromInteger i = Number (fromInteger i)

首先我们定义了 Op 类型。这个类型表示我们要支持的操作。接着,我们定义了 SymbolicManip a, 由于 Num a 约束的存在,a 可替换为任何 Num 实例。我们可以有 SymbolicManip Int 这样的具体类型。

SymbolicManip 类型可以是数字,也可以是数学运算。Arith 构造器是递归的,这在 Haskell 里完全合法。 Arith 用一个 Op 和两个 SymbolicManip 创建了一个 SymbolicManip。我们来看一个例子:

  1. Prelude> :l numsimple.hs
  2. [1 of 1] Compiling Main ( numsimple.hs, interpreted )
  3. Ok, modules loaded: Main.
  4. *Main> Number 5
  5. Number 5
  6. *Main> :t Number 5
  7. Number 5 :: Num a => SymbolicManip a
  8. *Main> :t Number (5::Int)
  9. Number (5::Int) :: SymbolicManip Int
  10. *Main> Number 5 * Number 10
  11. Arith Mul (Number 5) (Number 10)
  12. *Main> (5 * 10)::SymbolicManip Int
  13. Arith Mul (Number 5) (Number 10)
  14. *Main> (5 * 10 + 2)::SymbolicManip Int
  15. Arith Plus (Arith Mul (Number 5) (Number 10)) (Number 2)

可以看到,我们已经可以表示一些简单的表达式了。注意观察 Haskell 是如何把 5 * 10 + 2 “转换”成 SymbolicManip 值的, 它甚至还正确处理了求值顺序。事实上,这并不是真正意义上的转换,因为 SymbolicManip 已经是一等数字(first-class number)了。 就算 Integer 类型的数字字面量(numeric literals)在内部也是被包装在 fromInteger 里的, 所以 5 作为一个 SymbolicManip Int 和作为一个 Int 同样有效。

从这儿开始,我们的任务就简单了:扩展 SymbolicManip,使它能表示所有我们想要的操作;把它声明为其它数字类型类的实例; 为 SymbolicManip 实现我们自己的 Show 实例,使这棵树在显示时更友好。

完整代码

这里是完整的 num.hs,我们在本节开始的 ghci 例子中用到了它。我们来一点一点分析这段代码。

  1. -- file: ch13/num.hs
  2. import Data.List
  3.  
  4. --------------------------------------------------
  5. -- Symbolic/units manipulation
  6. --------------------------------------------------
  7.  
  8. -- The "operators" that we're going to support
  9. data Op = Plus | Minus | Mul | Div | Pow
  10. deriving (Eq, Show)
  11.  
  12. {- The core symbolic manipulation type. It can be a simple number,
  13. a symbol, a binary arithmetic operation (such as +), or a unary
  14. arithmetic operation (such as cos)
  15.  
  16. Notice the types of BinaryArith and UnaryArith: it's a recursive
  17. type. So, we could represent a (+) over two SymbolicManips. -}
  18. data SymbolicManip a =
  19. Number a -- Simple number, such as 5
  20. | Symbol String -- A symbol, such as x
  21. | BinaryArith Op (SymbolicManip a) (SymbolicManip a)
  22. | UnaryArith String (SymbolicManip a)
  23. deriving (Eq)

我们在这段代码中定义了 Op,和之前我们用到的一样。我们也定义了 SymbolicManip,它和我们之前用到的类似。 在这个版本中,我们开始支持一元数学操作(unary arithmetic operations)(也就是接受一个参数的操作), 例如 abscos。接下来我们来定义自己的 Num 实例。

  1. -- file: ch13/num.hs
  2. {- SymbolicManip will be an instance of Num. Define how the Num
  3. operations are handled over a SymbolicManip. This will implement things
  4. like (+) for SymbolicManip. -}
  5. instance Num a => Num (SymbolicManip a) where
  6. a + b = BinaryArith Plus a b
  7. a - b = BinaryArith Minus a b
  8. a * b = BinaryArith Mul a b
  9. negate a = BinaryArith Mul (Number (-1)) a
  10. abs a = UnaryArith "abs" a
  11. signum _ = error "signum is unimplemented"
  12. fromInteger i = Number (fromInteger i)

非常直观,和之前的代码很像。注意之前我们不支持 abs,但现在可以了,因为有了 UnaryArith。 接下来,我们再定义几个实例。

  1. -- file: ch13/num.hs
  2. {- 定义 SymbolicManip Fractional 实例 -}
  3. instance (Fractional a) => Fractional (SymbolicManip a) where
  4. a / b = BinaryArith Div a b
  5. recip a = BinaryArith Div (Number 1) a
  6. fromRational r = Number (fromRational r)
  7.  
  8. {- 定义 SymbolicManip Floating 实例 -}
  9. instance (Floating a) => Floating (SymbolicManip a) where
  10. pi = Symbol "pi"
  11. exp a = UnaryArith "exp" a
  12. log a = UnaryArith "log" a
  13. sqrt a = UnaryArith "sqrt" a
  14. a ** b = BinaryArith Pow a b
  15. sin a = UnaryArith "sin" a
  16. cos a = UnaryArith "cos" a
  17. tan a = UnaryArith "tan" a
  18. asin a = UnaryArith "asin" a
  19. acos a = UnaryArith "acos" a
  20. atan a = UnaryArith "atan" a
  21. sinh a = UnaryArith "sinh" a
  22. cosh a = UnaryArith "cosh" a
  23. tanh a = UnaryArith "tanh" a
  24. asinh a = UnaryArith "asinh" a
  25. acosh a = UnaryArith "acosh" a
  26. atanh a = UnaryArith "atanh" a

这段代码直观地定义了 FractionalFloating 实例。接下来,我们把表达式转换字符串。

  1. -- file: ch13/num.hs
  2. {- 使用常规代数表示法,把 SymbolicManip 转换为字符串 -}
  3. prettyShow :: (Show a, Num a) => SymbolicManip a -> String
  4.  
  5. -- 显示字符或符号
  6. prettyShow (Number x) = show x
  7. prettyShow (Symbol x) = x
  8.  
  9. prettyShow (BinaryArith op a b) =
  10. let pa = simpleParen a
  11. pb = simpleParen b
  12. pop = op2str op
  13. in pa ++ pop ++ pb
  14. prettyShow (UnaryArith opstr a) =
  15. opstr ++ "(" ++ show a ++ ")"
  16.  
  17. op2str :: Op -> String
  18. op2str Plus = "+"
  19. op2str Minus = "-"
  20. op2str Mul = "*"
  21. op2str Div = "/"
  22. op2str Pow = "**"
  23.  
  24. {- 在需要的地方添加括号。这个函数比较保守,有时候不需要也会加。
  25. Haskell 在构建 SymbolicManip 的时候已经处理好优先级了。-}
  26. simpleParen :: (Show a, Num a) => SymbolicManip a -> String
  27. simpleParen (Number x) = prettyShow (Number x)
  28. simpleParen (Symbol x) = prettyShow (Symbol x)
  29. simpleParen x@(BinaryArith _ _ _) = "(" ++ prettyShow x ++ ")"
  30. simpleParen x@(UnaryArith _ _) = prettyShow x
  31.  
  32. {- 调用 prettyShow 函数显示 SymbolicManip -}
  33. instance (Show a, Num a) => Show (SymbolicManip a) where
  34. show a = prettyShow a

首先我们定义了 prettyShow 函数。它把一个表达式转换成常规表达形式。 算法相当简单:数字和符号不做处理;二元操作是转换后两侧的内容加上中间的操作符;当然我们也处理了一元操作。 op2strOp 转为 String。在 simpleParen 里,我们加括号的算法非常保守,以确保优先级在结果里清楚显示。 最后,我们声明 SymbolicManipShow 的实例然后用 prettyShow 来实现。 现在,我们来设计一个算法把表达式转为 RPN 形式的字符串。

  1. -- file: ch13/num.hs
  2. {- Show a SymbolicManip using RPN. HP calculator users may
  3. find this familiar. -}
  4. rpnShow :: (Show a, Num a) => SymbolicManip a -> String
  5. rpnShow i =
  6. let toList (Number x) = [show x]
  7. toList (Symbol x) = [x]
  8. toList (BinaryArith op a b) = toList a ++ toList b ++
  9. [op2str op]
  10. toList (UnaryArith op a) = toList a ++ [op]
  11. join :: [a] -> [[a]] -> [a]
  12. join delim l = concat (intersperse delim l)
  13. in join " " (toList i)

RPN 爱好者会发现,跟上面的算法相比,这个算法是多么简洁。 尤其是,我们根本不用关心要从哪里加括号,因为 RPN 天生只能沿着一个方向求值。 接下来,我们写个函数来实现一些基本的表达式化简。

  1. -- file: ch13/num.hs
  2. {- Perform some basic algebraic simplifications on a SymbolicManip. -}
  3. simplify :: (Eq a, Num a) => SymbolicManip a -> SymbolicManip a
  4. simplify (BinaryArith op ia ib) =
  5. let sa = simplify ia
  6. sb = simplify ib
  7. in
  8. case (op, sa, sb) of
  9. (Mul, Number 1, b) -> b
  10. (Mul, a, Number 1) -> a
  11. (Mul, Number 0, b) -> Number 0
  12. (Mul, a, Number 0) -> Number 0
  13. (Div, a, Number 1) -> a
  14. (Plus, a, Number 0) -> a
  15. (Plus, Number 0, b) -> b
  16. (Minus, a, Number 0) -> a
  17. _ -> BinaryArith op sa sb
  18. simplify (UnaryArith op a) = UnaryArith op (simplify a)
  19. simplify x = x

这个函数相当简单。我们很轻易地就能化简某些二元数学运算——例如,用1乘以任何值。我们首先得到操作符两侧操作数被化简之后的版本(在这儿用到了递归)然后再化简结果。 对于一元操作符我们能做的不多,所以我们仅仅简化它们作用于的表达式。

从现在开始,我们会增加对计量单位的支持。增加之后我们就能表示“5米”这种数量了。跟之前一样,我们先来定义一个类型:

  1. -- file: ch13/num.hs
  2. {- 新数据类型:UnitsUnits 类型包含一个数字和一个 SymbolicManip,也就是计量单位。
  3. 计量单位符号可以是 (Symbol "m") 这个样子。 -}
  4. data Units a = Units a (SymbolicManip a)
  5. deriving (Eq)

一个 Units 值包含一个数字和一个符号。符号本身是 SymbolicManip 类型。 接下来,将 Units 声明为 Num 实例。

  1. -- file: ch13/num.hs
  2. {- Units 实现 Num 实例。我们不知道如何转换任意单位,因此当不同单位的数字相加时,我们报告错误。
  3. 对于乘法,我们生成对应的新单位。 -}
  4. instance (Eq a, Num a) => Num (Units a) where
  5. (Units xa ua) + (Units xb ub)
  6. | ua == ub = Units (xa + xb) ua
  7. | otherwise = error "Mis-matched units in add or subtract"
  8. (Units xa ua) - (Units xb ub) = (Units xa ua) + (Units (xb * (-1)) ub)
  9. (Units xa ua) * (Units xb ub) = Units (xa * xb) (ua * ub)
  10. negate (Units xa ua) = Units (negate xa) ua
  11. abs (Units xa ua) = Units (abs xa) ua
  12. signum (Units xa _) = Units (signum xa) (Number 1)
  13. fromInteger i = Units (fromInteger i) (Number 1)

现在,我们应该清楚为什么要用 SymbolicManip 而不是 String 来存储计量单位了。 做乘法时,计量单位也会发生改变。例如,5米乘以2米会得到10平方米。我们要求加法运算的单位必须匹配, 并用加法实现了减法。我们再来看几个 Units 的类型类实例。

  1. -- file: ch13/num.hs
  2. {- Make Units an instance of Fractional -}
  3. instance (Eq a, Fractional a) => Fractional (Units a) where
  4. (Units xa ua) / (Units xb ub) = Units (xa / xb) (ua / ub)
  5. recip a = 1 / a
  6. fromRational r = Units (fromRational r) (Number 1)
  7.  
  8. {- Floating implementation for Units.
  9.  
  10. Use some intelligence for angle calculations: support deg and rad
  11. -}
  12. instance (Eq a, Floating a) => Floating (Units a) where
  13. pi = (Units pi (Number 1))
  14. exp _ = error "exp not yet implemented in Units"
  15. log _ = error "log not yet implemented in Units"
  16. (Units xa ua) ** (Units xb ub)
  17. | ub == Number 1 = Units (xa ** xb) (ua ** Number xb)
  18. | otherwise = error "units for RHS of ** not supported"
  19. sqrt (Units xa ua) = Units (sqrt xa) (sqrt ua)
  20. sin (Units xa ua)
  21. | ua == Symbol "rad" = Units (sin xa) (Number 1)
  22. | ua == Symbol "deg" = Units (sin (deg2rad xa)) (Number 1)
  23. | otherwise = error "Units for sin must be deg or rad"
  24. cos (Units xa ua)
  25. | ua == Symbol "rad" = Units (cos xa) (Number 1)
  26. | ua == Symbol "deg" = Units (cos (deg2rad xa)) (Number 1)
  27. | otherwise = error "Units for cos must be deg or rad"
  28. tan (Units xa ua)
  29. | ua == Symbol "rad" = Units (tan xa) (Number 1)
  30. | ua == Symbol "deg" = Units (tan (deg2rad xa)) (Number 1)
  31. | otherwise = error "Units for tan must be deg or rad"
  32. asin (Units xa ua)
  33. | ua == Number 1 = Units (rad2deg $ asin xa) (Symbol "deg")
  34. | otherwise = error "Units for asin must be empty"
  35. acos (Units xa ua)
  36. | ua == Number 1 = Units (rad2deg $ acos xa) (Symbol "deg")
  37. | otherwise = error "Units for acos must be empty"
  38. atan (Units xa ua)
  39. | ua == Number 1 = Units (rad2deg $ atan xa) (Symbol "deg")
  40. | otherwise = error "Units for atan must be empty"
  41. sinh = error "sinh not yet implemented in Units"
  42. cosh = error "cosh not yet implemented in Units"
  43. tanh = error "tanh not yet implemented in Units"
  44. asinh = error "asinh not yet implemented in Units"
  45. acosh = error "acosh not yet implemented in Units"
  46. atanh = error "atanh not yet implemented in Units"

虽然没有实现所有函数,但大部分都定义了。现在我们来定义几个跟单位打交道的工具函数。

  1. -- file: ch13/num.hs
  2. {- A simple function that takes a number and a String and returns an
  3. appropriate Units type to represent the number and its unit of measure -}
  4. units :: (Num z) => z -> String -> Units z
  5. units a b = Units a (Symbol b)
  6.  
  7. {- Extract the number only out of a Units type -}
  8. dropUnits :: (Num z) => Units z -> z
  9. dropUnits (Units x _) = x
  10.  
  11. {- Utilities for the Unit implementation -}
  12. deg2rad x = 2 * pi * x / 360
  13. rad2deg x = 360 * x / (2 * pi)

首先我们定义了 units,使表达式更简洁。units 5 "m" 肯定要比 Units 5 (Symbol "m") 省事。 我们还定义了 dropUnits,它把单位去掉只返回 Num。最后,我们定义了两个函数,用来在角度和弧度之间转换。 接下来,我们给 Units 定义 Show 实例。

  1. -- file: ch13/num.hs
  2. {- Showing units: we show the numeric component, an underscore,
  3. then the prettyShow version of the simplified units -}
  4. instance (Eq a, Show a, Num a) => Show (Units a) where
  5. show (Units xa ua) = show xa ++ "_" ++ prettyShow (simplify ua)

很简单。最后我们定义 test 变量用来测试。

  1. -- file: ch13/num.hs
  2. test :: (Num a) => a
  3. test = 2 * 5 + 3

回头看看这些代码,我们已经完成了既定目标:给 SymbolicManip 实现更多实例; 我们引入了新类型 Units,它包含一个数字和一个单位; 我们实现了几个 show 函数,以便用不同的方式来转换 SymbolicManipUnits

这个例子还给了我们另外一点启发。所有语言——即使那些包含对象和重载的——都有从某种角度看很独特的地方。 在 Haskell 里,这个“特殊”的部分很小。我们刚刚开发了一种新的表示法用来表示像数字一样基本的东西,而且很容易就实现了。 我们的新类型是一等类型,编译器在编译时就知道使用它哪个函数。Haskell 把代码复用和互换(interchangeability)发挥到了极致。 写通用代码很容易,而且很方便就能把它们用于多种不同类型的东西上。同样容易的是创建新类型并使它们自动成为系统的一等功能(first-class features)。

还记得本节开头的 ghci 例子吗? 我们已经实现了它的全部功能。你可以自己试试,看看它们是怎么工作的。

练习

  • 扩展 prettyShow 函数,去掉不必要的括号。

把函数当成数据来用

在命令式语言当中,拼接两个列表很容易。下面的 C 语言结构维护了指向列表头尾的指针:

  1. struct list {
  2. struct node *head, *tail;
  3. };

当我们想把列表 B 拼接到列表 A 的尾部时,我们将 A 的最后一个节点指向 B 的 head 节点,再把 A 的 tail 指针指向 B 的 tail 节点。

很显然,在 Haskell 里,如果我们想保持“纯”的话,这种方法是有局限性的。由于纯数据是不可变的,我们无法原地修改列表。 Haskell 的 (++) 操作符通过生成一个新列表来拼接列表。

  1. -- file: ch13/Append.hs
  2. (++) :: [a] -> [a] -> [a]
  3. (x:xs) ++ ys = x : xs ++ ys
  4. _ ++ ys = ys

从代码里可以看出,创建新列表的开销取决于第一个列表的长度。

我们经常需要通过重复拼接列表来创建一个大列表。例如,在生成网页内容时我们可能想生成一个 String。 每当有新内容添加到网页中时,我们会很自然地想到把它拼接到已有 String 的末尾。

如果每一次拼接的开销都正比与初始列表的长度,每一次拼接都把初始列表加的更长,那么我们将会陷入一个很糟糕的情况: 所有拼接的总开销将会正比于最终列表长度的平方。

为了更好地理解,我们来研究一下。(++) 操作符是右结合的。

  1. ghci> :info (++)
  2. (++) :: [a] -> [a] -> [a] -- Defined in GHC.Base
  3. infixr 5 ++

这意味着 Haskell 在求值表达式 "a" ++ "b" ++ "c" 时会从右向左进行,就像加了括号一样:"a" ++ ("b" ++ "c")。 这对于提高性能非常有好处,因为它会让左侧操作数始终保持最短。

当我们重复向列表末尾拼接时,我们破坏了这种结合性。假设我们有一个列表 "a" 然后想把 "b" 拼接上去,我们把结果存储在一个新列表里。 稍后如果我们想把 "c" 拼接上去时,这时的左操作数已经变成了 "ab"。在这种情况下,每次拼接都让左操作数变得更长。

与此同时,命令式语言的程序员却在偷笑,因为他们重复拼接的开销只取决于操作的次数。他们的性能是线性的,我们的是平方的。

当像重复拼接列表这种常见任务都暴露出如此严重的性能问题时,我们有必要从另一个角度来看看问题了。

表达式 ("a"++) 是一个 (section),一个部分应用的函数。它的类型是什么呢?

  1. ghci> :type ("a" ++)
  2. ("a" ++) :: [Char] -> [Char]

由于这是一个函数,我们可以用 (.) 操作符把它和另一个节组合起来,例如 ("b"++)

  1. ghci> :type ("a" ++) . ("b" ++)
  2. ("a" ++) . ("b" ++) :: [Char] -> [Char]

新函数的类型和之前相同。当我们停止组合函数,并向我们创造的函数提供一个 String 会发生什么呢?

  1. ghci> let f = ("a" ++) . ("b" ++)
  2. ghci> f []
  3. "ab"

我们实现了字符串拼接!我们利用这些部分应用的函数来存储数据,并且只要提供一个空列表就可以把数据提取出来。 每一个 (++)(.) 部分应用都代表了一次拼接,但它们并没有真正完成拼接。

这个方法有两点非常有趣。第一点是部分应用的开销是固定的,这样多次部分应用的开销就是线性的。 第二点是当我们提供一个 [] 值来从部分应用链中提取最终列表时,求值会从右至左进行。 这使得 (++) 的左操作数尽可能小,使得所有拼接的总开销是线性而不是平方。

通过使用这种并不太熟悉的数据表示方式,我们避免了一个性能泥潭,并且对“把函数当成数据来用”有了新的认识。 顺便说一下,这个技巧并不新鲜,它通常被称为差异列表(difference list)。

还有一点没讲。尽管从理论上看差异列表非常吸引人,但如果在实际中把 (++)(.) 和部分应用都暴露在外的话,它并不会非常好用。 我们需要把它转成一种更好用的形式。

把差异列表转成库

第一步是用 newtype 声明把底层的类型隐藏起来。我们会创建一个 DList 类型。类似于普通列表,它是一个参数化类型。

  1. -- file: ch13/DList.hs
  2. newtype DList a = DL {
  3. unDL :: [a] -> [a]
  4. }

unDL 是我们的析构函数,它把 DL 构造器删除掉。 我们最后导出模块函数时会忽略掉构造函数和析构函数,这样我们的用户就没必要知道 DList 类型的实现细节。他们只用我们导出的函数即可。

  1. -- file: ch13/DList.hs
  2. append :: DList a -> DList a -> DList a
  3. append xs ys = DL (unDL xs . unDL ys)

我们的 append 函数看起来可能有点复杂,但其实它仅仅是围绕着 (.) 操作符做了一些簿记工作,(.) 的用法和我们之前展示的完全一样。 生成函数的时候,我们必须首先用 unDL 函数把它们从 DL 构造器中取出来。然后我们在把得到的结果重新用 DL 包装起来,确保它的类型正确。

下面是相同函数的另一种写法,这种方法通过模式识别取出 xsys

  1. -- file: ch13/DList.hs
  2. append' :: DList a -> DList a -> DList a
  3. append' (DL xs) (DL ys) = DL (xs . ys)

我们需要在 DList 类型和普通列表之间来回转换。

  1. -- file: ch13/DList.hs
  2. fromList :: [a] -> DList a
  3. fromList xs = DL (xs ++)
  4.  
  5. toList :: DList a -> [a]
  6. toList (DL xs) = xs []

再次声明,跟这些函数最原始的版本相比,我们在这里做的只是一些簿记工作。

如果我们想把 DList 作为普通列表的替代品,我们还需要提供一些常用的列表操作。

  1. -- file: ch13/DList.hs
  2. empty :: DList a
  3. empty = DL id
  4.  
  5. -- equivalent of the list type's (:) operator
  6. cons :: a -> DList a -> DList a
  7. cons x (DL xs) = DL ((x:) . xs)
  8. infixr `cons`
  9.  
  10. dfoldr :: (a -> b -> b) -> b -> DList a -> b
  11. dfoldr f z xs = foldr f z (toList xs)

尽管 DList 使得拼接很廉价,但并不是所有的列表操作都容易实现。 列表的 head 函数具有常数开销,而对应的 DList 实现却需要将整个 DList 转为普通列表,因此它比普通列表的实现昂贵得多: 它的开销正比于构造 DList 所需的拼接次数。

  1. -- file: ch13/DList.hs
  2. safeHead :: DList a -> Maybe a
  3. safeHead xs = case toList xs of
  4. (y:_) -> Just y
  5. _ -> Nothing

为了实现对应的 map 函数,我们可以把 DList 类型声明为一个 Functor(函子)。

  1. -- file: ch13/DList.hs
  2. dmap :: (a -> b) -> DList a -> DList b
  3. dmap f = dfoldr go empty
  4. where go x xs = cons (f x) xs
  5.  
  6. instance Functor DList where
  7. fmap = dmap

当我们实现了足够多的列表操作时,我们回到源文件顶部增加一个模块头。

  1. -- file: ch13/DList.hs
  2. module DList
  3. (
  4. DList
  5. , fromList
  6. , toList
  7. , empty
  8. , append
  9. , cons
  10. , dfoldr
  11. ) where

列表、差异列表和幺半群(monoids)

在抽象代数中,有一类简单的抽象结构被称为幺半群。许多数学结构都是幺半群,因为成为幺半群的要求非常低。 一个结构只要满足两个性质便可称为幺半群:

  • 一个满足结合律的二元操作符。我们称之为 (*):表达式 a * (b * c)(a * b) * c 结果必须相同。
  • 一个单位元素。我们称之为 e,它必须遵守两条法则:a * e == ae * a == a

幺半群并不要求这个二元操作符做什么,它只要求这个二元操作符必须存在。因此很多数学结构都是幺半群。 如果我们把加号作为二元操作符,0作为单位元素,那么整数就是一个幺半群。把乘号作为二元操作符,1作为单位元素,整数就形成了另一个幺半群。

Haskell 中幺半群无所不在。Data.Monoid 模块定义了 Monoid 类型类。

  1. -- file: ch13/Monoid.hs
  2. class Monoid a where
  3. mempty :: a -- the identity
  4. mappend :: a -> a -> a -- associative binary operator

如果我们把 (++) 当做二元操作符,[] 当做单位元素,列表就形成了一个幺半群。

  1. -- file: ch13/Monoid.hs
  2. instance Monoid [a] where
  3. mempty = []
  4. mappend = (++)

由于列表和 DLists 关系如此紧密,DList 类型也必须是一个幺半群。

  1. -- file: ch13/DList.hs
  2. instance Monoid (DList a) where
  3. mempty = empty
  4. mappend = append

ghci 里试试 Monoid 类型类的函数。

  1. ghci> "foo" `mappend` "bar"
  2. "foobar"
  3. ghci> toList (fromList [1,2] `mappend` fromList [3,4])
  4. [1,2,3,4]
  5. ghci> mempty `mappend` [1]
  6. [1]

Note

尽管从数学的角度看,整数可以以两种不同的方式作为幺半群,但在 Haskell 里,我们却不能给 Int 写两个不同的 Monoid 实例: 编译器会报告重复实例错误。

如果我们真的需要在同一个类型上实现多个 Monoid 实例,我们可以用 newtype 创建不同的类型来达到目的。

  1. -- file: ch13/Monoid.hs
  2. {-# LANGUAGE GeneralizedNewtypeDeriving #-}
  3.  
  4. newtype AInt = A { unA :: Int }
  5. deriving (Show, Eq, Num)
  6.  
  7. -- monoid under addition
  8. instance Monoid AInt where
  9. mempty = 0
  10. mappend = (+)
  11.  
  12. newtype MInt = M { unM :: Int }
  13. deriving (Show, Eq, Num)
  14.  
  15. -- monoid under multiplication
  16. instance Monoid MInt where
  17. mempty = 1
  18. mappend = (*)

这样,根据使用类型的不同,我们就能得到不同的行为。

  1. ghci> 2 `mappend` 5 :: MInt
  2. M {unM = 10}
  3. ghci> 2 `mappend` 5 :: AInt
  4. A {unA = 7}

在这一节(The writer monad and lists)中,我们还会继续讨论差异列表和它的幺半群性质。

Note

跟 functor 规则一样,Haskell 没法替我们检查幺半群的规则。 如果我们定义了一个 Monoid 实例,我们可以很容易地写一些 QuickCheck 性质来得到一个较高的统计推断,确保代码遵守了幺半群规则。

通用序列

不论是 Haskell 内置的列表,还是我们前面定义的 DList ,这些数据结构在不同的地方都有自己的性能短板。为此, Data.Sequence 模块定义了 Seq 容器类型,对于大多数操作,这种类型能都提供良好的效率保证。

为了避免命名冲突, Data.Sequence 模块通常以 qualified 的方式引入:

  1. Prelude> import qualified Data.Sequence as Seq
  2. Prelude Seq>

empty 函数用于创建一个空 Seqsingleton 用于创建只包含单个元素的 Seq

  1. Prelude Seq> Seq.empty
  2. fromList []
  3.  
  4. Prelude Seq> Seq.singleton 1
  5. fromList [1]

还可以使用 fromList 函数,通过列表创建出相应的 Seq

  1. Prelude Seq> let a = Seq.fromList [1, 2, 3]
  2.  
  3. Prelude Seq> a
  4. fromList [1,2,3]

Data.Sequence 模块还提供了几种操作符形式的构造函数。但是,在使用 qualified 形式载入模块的情况下调用它们会非常难看:

[译注:操作符形式指的是那种放在两个操作对象之间的函数,比如 2 * 2 中的 * 函数。]

  1. Prelude Seq> 1 Seq.<| Seq.singleton 2
  2. fromList [1,2]

可以通过直接载入这几个函数来改善可读性:

  1. Prelude Seq> import Data.Sequence((><), (<|), (|>))

现在好多了:

  1. Prelude Seq Data.Sequence> Seq.singleton 1 |> 2
  2. fromList [1,2]

一个帮助记忆 (<|)(|>) 函数的方法是,函数的『箭头』总是指向被添加的元素: (<|) 函数要添加的元素在左边,而 (|>) 函数要添加的元素在右边:

  1. Prelude Seq Data.Sequence> 1 <| Seq.singleton 2
  2. fromList [1,2]
  3.  
  4. Prelude Seq Data.Sequence> Seq.singleton 1 |> 2
  5. fromList [1,2]

不管是从左边添加元素,还是从右边添加元素,添加操作都可以在常数时间内完成。对两个 Seq 进行追加(append)操作同样非常廉价,复杂度等同于两个 Seq 中较短的那个 Seq 的长度的对数。

追加操作由 (><) 函数完成:

  1. Prelude Seq Data.Sequence> let left = Seq.fromList [1, 3, 3]
  2.  
  3. Prelude Seq Data.Sequence> let right = Seq.fromList [7, 1]
  4.  
  5. Prelude Seq Data.Sequence> left >< right
  6. fromList [1,3,3,7,1]

反过来,如果我们想将 Seq 转换回列表,那么就需要 Data.Foldable 模块的帮助:

  1. Prelude Seq Data.Sequence> import qualified Data.Foldable as Foldable
  2. Prelude Seq Data.Sequence Foldable>

这个模块定义了一个类型, Foldable ,而 Seq 实现了这个类型:

  1. Prelude Seq Data.Sequence Foldable> Foldable.toList (Seq.fromList [1, 2, 3])
  2. [1,2,3]

Data.Foldable 中的 fold 函数可以用于对 Seq 进行 fold 操作:

  1. Prelude Seq Data.Sequence Foldable> Foldable.foldl' (+) 0 (Seq.fromList [1, 2, 3])
  2. 6

Data.Sequence 模块还提供了大量有用的函数,这些函数都和 Haskell 列表的函数类似。模块的文档也非常齐全,还提供了函数的时间复杂度信息。

最后的疑问是,既然 Seq 的效率这么好,那为什么它不是 Haskell 默认的序列类型呢?答案是,列表类型更简单,消耗更低,对于大多数应用程序来说,列表已经足够满足需求了。除此之外,列表可以很好地处理惰性环境,而 Seq 在这方面做得还不够好。