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

187J3X1 发布于2019-05-23 17:31 / 1835人阅读

摘要：系列文章趣学指南笔记之基本语法趣学指南笔记之类型趣学指南笔记之函数趣学指南笔记之高阶函数趣学指南笔记之模块趣学指南笔记之自定义类型趣学指南笔记之目前我们提到的所有函数和都是模块的一部分，默认情况下，模块会被自动导入。

系列文章

《Haskell趣学指南》笔记之基本语法

《Haskell趣学指南》笔记之类型（type）

《Haskell趣学指南》笔记之函数

《Haskell趣学指南》笔记之高阶函数

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

《Haskell趣学指南》笔记之自定义类型

《Haskell趣学指南》笔记之I/O

目前我们提到的所有函数、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)    
    | 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

自定义模块

普通模块

新建 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

文章版权归作者所有，未经允许请勿转载,若此文章存在违规行为，您可以联系管理员删除。

转载请注明本文地址：https://www.ucloud.cn/yun/7341.html

《Haskell趣学指南》笔记之I/O

摘要：生成随机数对于一个函数，如果两次调用它时使用相同的参数，它会把同样的结果返回两次。但是，这也使得产生随机数这件事变成困难。对于同一个生成器，得到的随机数是固定的。系列文章《Haskell趣学指南》笔记之基本语法《Haskell趣学指南》笔记之类型（type）《Haskell趣学指南》笔记之函数《Haskell趣学指南》笔记之高阶函数《Haskell趣学指南》笔记之模块《Hask...

EsgynChina 2019-05-23 17:34 评论0 收藏0
gitbook: 前端好书推荐

摘要：它大致概述并讨论了前端工程的实践如何学习它，以及在年实践时使用什么工具。目的是每年发布一次内容更新。前端实践第一部分广泛描述了前端工程的实践。对大多数人来说，函数式编程看起来更加自然。 1 Front-End Developer Handbook 2017 地址：https://frontendmasters.com/b... 这是任何人都可以用来了解前端开发实践的指南。它大致概述并...

Ali_ 2019-08-20 17:17 评论0 收藏0
gitbook: 前端好书推荐

摘要：它大致概述并讨论了前端工程的实践如何学习它，以及在年实践时使用什么工具。目的是每年发布一次内容更新。前端实践第一部分广泛描述了前端工程的实践。对大多数人来说，函数式编程看起来更加自然。 1 Front-End Developer Handbook 2017 地址：https://frontendmasters.com/b... 这是任何人都可以用来了解前端开发实践的指南。它大致概述并...

CocoaChina 2019-08-29 12:46 评论0 收藏0
gitbook: 前端好书推荐

摘要：它大致概述并讨论了前端工程的实践如何学习它，以及在年实践时使用什么工具。目的是每年发布一次内容更新。前端实践第一部分广泛描述了前端工程的实践。对大多数人来说，函数式编程看起来更加自然。 1 Front-End Developer Handbook 2017 地址：https://frontendmasters.com/b... 这是任何人都可以用来了解前端开发实践的指南。它大致概述并...

Warren 2019-08-01 16:58 评论0 收藏0
MongoDB 资源、库、工具、应用程序精选列表中文版

摘要：推荐阅读资源库工具应用程序精选列表中文版有哪些鲜为人知，但是很有意思的网站一份攻城狮笔记每天搜集上优秀的项目一些有趣的民间故事超好用的谷歌浏览器油猴插件合集目录资源文档文章图书会谈教程更多库工具管理数据部署桌面发展监控应用资源文档介绍文档教推荐阅读 MongoDB 资源、库、工具、应用程序精选列表中文版有哪些鲜为人知，但是很有意思的网站？一份攻城狮笔记每天搜集 Github ...

e10101 2019-06-26 17:58 评论0 收藏0