《Haskell趣学指南》笔记之模块

系列文章

目前我们提到的所有函数、type 和 typeclass 都是 Prelude 模块的一部分，默认情况下，Prelude 模块会被自动导入。

导入模块

import ModuleName-- 导入模块的语句必须防止在函数定义之前
import Data.List (nub， sort) -- 只导入两个函数
import Data.List hiding (nub) -- 不导入 nub
import qualified Data.Map -- 只能使用 Data.map.xxx 来使用函数
import qualified Data.Map as M -- 只能使用 M.xxx 来使用函数

导入之后，该模块的所有函数就都进入了『全局』命名空间。

要查看函数位于哪个模块，可以用 Hoogle (www.haskell.org/hoogle/)。

在 GHCi 中导入模块的语句是：

ghci> :m + Data.List Data.Map Date.Set

细节：点号既可以用于命名空间，又可以用于组合。怎么区分呢？当点号位于限定导入的模块名与函数中间且没有空格时，会被视作函数引用；否则会被视作函数组合。

Data.List 模块

words -- 取出字符串里面的单词，组成字符串列表
group / sort / tails / isPrefixOf / any / isInfixOf 是否含于
foldl' 不延迟的 foldl
find / lookup

例子：

import Data.List 
wordNums :: String -> [(String, Int)] 
wordNums = map (\ws -> (head ws, length ws)) . group . sort . words

Data.Char 模块

ord 'a' -- 97
chr 97 -- 'a'

Maybe 类型

findKey :: (Eq k) => k -> [(k, v)] -> Maybe v 
findKey key [] = Nothing 
findKey key ((k, v): xs) &emsp; &emsp;
    | key == x = Just v &emsp; &emsp;
    | otherwise = findKey key xs

注意 Maybe / Nothing / Just 这三个东西。

Data.Map 模块

API: fromList / insert / size / fromListWith

使用示例

import qualified Data. Map as Map 
phoneBook :: Map. Map String String 
phoneBook = Map. fromList $ &emsp; &emsp;
[(" betty", "555- 2938") &emsp; &emsp;
,(" bonnie", "452- 2928") &emsp; &emsp;
,(" patsy", "493- 2928") &emsp; &emsp;
,(" lucille", "205- 2928") &emsp; &emsp;
,(" wendy", "939- 8282") &emsp; &emsp;
,(" penny", "853- 2492")]

ghci> :t Map. lookup
Map. lookup :: (Ord k) => k -> Map. Map k a -> Maybe a 
ghci> Map. lookup "betty" phoneBook 
Just "555- 2938" 
ghci> Map. lookup "wendy" phoneBook 
Just "939- 8282" 
ghci> Map. lookup "grace" phoneBook 
Nothing

自定义模块

普通模块

新建 Geometry.hs

写文件

 module Geometry ( 
 sphereVolume , 
 sphereArea 
 ) where 

 sphereVolume :: Float -> Float 
 sphereVolume radius = (4.0 / 3.0) * pi * (radius ^ 3) 
 sphereArea :: Float -> Float 
 sphereArea radius = 4 * pi * (radius ^ 2)

在同一目录的其他文件里引入模块 import Geometry

有层次的模块

新建 Geometry 目录
在 Geometry 目录里面新建 Sphere.hs / Cuboid.hs / Cube.hs

这三个文件的内容类似这样

 module Geometry.Sphere ( 
 volume , 
 area 
 ) 
 where 
 
 volume :: Float -> Float 
 volume radius = (4.0 / 3.0) * pi * (radius ^ 3) 
 area :: Float -> Float 
 area radius = 4 * pi * (radius ^ 2)

在 Geometry 目录的同级文件中导入模块 import Geometry.Sphere