読書会用のすごいH本の６章「モジュール」のレジュメ。

1. すごいH本
第6章モジュール

2. Haskellのモジュール
＝ いくつかの関数や型、型クラスを
定義したファイル。
Haskellのプログラム
＝ モジュールの集合。

3. エクスポート
＝ モジュールの中身を外の世界から
見えて、使えるようにすること。
インポート
＝ モジュールを利用するための
おまじない。

4. モジュールに分割する利点
１）汎用的なモノはいろんな所で使える
２）疎結合することで再利用がしやすい
３）管理がしやすい

5. モジュールをインポートする
＝ import ModuleName
＃関数定義よりも前に書く（通常はファイルの先頭）
複数のモジュールをインポートする
＝ import ModuleName1
import ModuleName2
…

6. 例：Data.Listモジュールのインポート
import Data.List
numUniques :: (Eq a) => [a] -> Int
numUniques = length . nub #(関数合成版)
numUniques xs = length (nub xs) #(通常版)
numUniques = ＼xs -> length (nub xs) #(λ版)

7. モジュールをGHCiでインポートする
ghci> :m + Data.List
複数のモジュールをGHCiでインポートする
ghci> :m + Data.List Data.map Data.Set

8. 特定の関数をインポートする
＝ import Data.List (nub, sort)
特定の関数以外をインポートする
＃名前の競合を避けるためなど・・・
＝ import Data.List hiding (nub)

9. 名前競合を避けるもう一つの方法
＝ 修飾付きインポート
(qualifiedインポート)

10. 例：Data.Map.filterの利用
＃Prelude.filterと名前競合
＝ import qualified Data.Map
Data.Map.filter ...
もっと簡単に
＝ import qualified Data.Map as M
M.filter ...

11. 修飾付きインポートと関数合成の見分け方
インポートされた関数
＝ qualifiedされたモジュール.関数名
＃空白を開けない↑
関数合成
＝ 上記以外

12. モジュールを作ってみよう
例：幾何学オブジェクトの体積と
面積を計算するモジュール
１．ファイルを作成する
Geometry.hsを作成

13. 例：幾何学オブジェクトの体積と
面積を計算するモジュール
２．モジュールの先頭でモジュール名を指定する
＃ファイル名に従ったモジュール名を指定
Geometry.hs -> module Geometry

14. 例：幾何学オブジェクトの体積と
面積を計算するモジュール
3．モジュールがエクスポートする関数を指定する
module Geometry
(sphereVolume,
...
)where

15. 例：幾何学オブジェクトの体積と
面積を計算するモジュール
4．関数を追加する
module Geometry
(sphereVolume,
...
)where
sphereVolume :: Float -> Float
sphereVolume = (4.0/3.0) * pi * (radius ^ 3)

16. 階層的モジュール
モジュールは階層構造を持つこともできる
ｰ> 例：幾何学モジュールの分割

17. 分割されたモジュールを作ってみよう
例：幾何学オブジェクトの体積と
面積を計算する分割されたモジュール
１．フォルダを作成する
Geometryを作成

18. 例：幾何学オブジェクトの体積と
面積を計算する分割されたモジュール
２．ファイルを作成する
・Sphere.hsを作成
・Cuboid.hsを作成
・Cube.hsを作成

19. 例：幾何学オブジェクトの体積と
面積を計算する分割されたモジュール
3．モジュールの先頭でモジュール名を指定する
＃フォルダ名とファイル名に従った
＃モジュール名を指定
Geometry/Sphere.hs
-> module Geometry.Sphere

20. 例：幾何学オブジェクトの体積と
面積を計算するモジュール
3．モジュールがエクスポートする関数を指定する
module Geometry.Sphere
(volume,
area
)where

21. 例：幾何学オブジェクトの体積と
面積を計算するモジュール
4．関数を追加する
module Geometry.Sphere
(Volume,
area
)where
Volume :: Float -> Float
Volume = (4.0/3.0) * pi * (radius ^ 3)

22. モジュールは階層構造を持つこともできる
・モジュールに分けることで、
同じ名前の関数を定義することが可能
Geometry.Sphere.volume
Geometry.Cuboid.volume
Geometry.Cube.volume

23. まとめ
Haskellのプログラムはモジュールの集合
モジュールはいくつかの関数や型、型クラス
を定義したファイル
モジュールに分割する利点
１）汎用的なモノはいろんな所で使える
２）疎結合することで再利用がしやすい
３）管理がしやすい
モジュールはインポートして利用する
モジュールは自作することができる