阅读 14

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

系列文章


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

导入模块

import ModuleName-- 导入模块的语句必须防止在函数定义之前
import Data.List (nubsort) -- 只导入两个函数
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)    
    | key == x = Just v    
    | 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 $    
[(" betty", "555- 2938")    
,(" bonnie", "452- 2928")    
,(" patsy", "493- 2928")    
,(" lucille", "205- 2928")    
,(" wendy", "939- 8282")    
,(" 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
复制代码

自定义模块

普通模块

  1. 新建 Geometry.hs

  2. 写文件

     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)
    复制代码
  3. 在同一目录的其他文件里引入模块 import Geometry

有层次的模块

  1. 新建 Geometry 目录

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

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

     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)
    复制代码
  4. 在 Geometry 目录的同级文件中导入模块 import Geometry.Sphere

关注下面的标签,发现更多相似文章
评论