在Haskell使用Module

發表於

Module

大部分的專案我們都會需要引入其他第三方或是自己寫的Module、Package，目的就是爲了讓許多函數可以重複操作
而最基本的一些操作都是在Prelude這模組裡，預設會自動載入，下stack ghci指令就會發現會是Prelude> ...的prompt

Data.List

Data.List讓我們可以更方便的對List做處理，nub這Function可以幫我們從List取出不重複的數字

1
2
3
4
5
6
7
8
9
10
-- Main.hs
module Main (main) where
import Data.List
main :: IO ()
main = print "Main"
numUniques :: (Eq a) => [a] -> Int
numUniques = length . nub

在ghci中:l Main後，呼叫numUniques [1,2,2,3]就會是3了
但在此個人建議指針對要用到的Function做引入，例如這邊只用到nub那我們就改寫一下import部分

1
import Data.List(nub)

System.Random

都說Hakell是一個純函數語言，餵給一個函數相同的參數，不管怎樣都會回傳相同的結果，那要怎實作「隨機」的狀況呢？
就是利用這個System.Random Module，而要實做隨機的函數就叫做random

1
random :: (RandomGen g, Random a) => g -> (a, g)

來分別講解兩個參數，RandomGen typeclass是指作爲亂源的type(Gen是Generator縮寫)
Random typeclass是指可以裝亂數的type(像是Int,Bool…)
首先我們要一個RandomGen的實例，在System.Random裡的StdGen就是了，剛好有個mkStdGen函數可以幫我們產生這實例，只要傳給他Int即可

1
mkStdGen :: Int -> StdGen

跑跑看

1
2
random (mkStdGen 100)
> (-3633736515773289454,693699796 2103410263)

剛有提到random會回傳的是一個Tuple(Random, RandomGen)，逗號右邊的確實是RandomGen(空格沒問題)，我們的值不一樣也很正常
在沒有指定回傳的type時，預設是Int，所以我們也可以指定成Bool、Char

1
2
random (mkStdGen 100) :: (Bool, StdGen)
> (True,4041414 40692)

在這也可以發現兩次都有回傳不一樣的StdGen，如果要連續做好幾次random就可以接着用下去，所以剛好有個randoms函數，接收一個StdGen然後回傳無窮的List

1
2
3
-- randoms :: (RandomGen g, Random a) => g -> [a]
take 5 $ randoms (mkStdGen 11) :: [Bool]
> [True,True,True,True,False]

自己的Module

該來自己寫個Moduel試試，在Main.hs當前目錄新增一個Lib.hs，並如下這樣寫，記得在Main裡import Lib

1
2
3
4
5
6
7
8
9
module Lib
    ( someFunc
    ) where
someFunc :: IO ()
someFunc = putStrLn "someFunc"
someFunc' :: IO ()
somwFunc' = putStrLn "no no no..."

:r重新載入後，分別呼叫someFunc、someFunc'試試，會發現someFunc'會報錯，因爲我們只有export出someFunc而已
通常專案還會有許多子資料夾，我們新建一個Module的資料夾，將我們的Lib.hs移進去，這時候重新載入可以，但呼叫someFunc就報錯，因爲找不到了，我們要改寫一下module的名字就可以了

1
2
3
4
5
6
-- /Module/Lib.hs
module Module.Lib
    ( someFunc
    ) where
-- /Main.hs
import Module.Lib

那會碰上不同Module可是Function name重複的問題，Haskell當然也有alias的方法，呼叫時只要用Lib.someFunc的形式就可以了

1
2
import qualified Module.Lib as Lib
import qualified Module.XXX as XXX

參考資料

Learn your haskell

0%