最近幾個(gè)月利用上下班的時(shí)間在學(xué)習(xí)Haskell，Haskell有不少讓人開(kāi)闊思路的東西，也有不少看起來(lái)很美好，用起來(lái)不錯(cuò)，但是讀起來(lái)費(fèi)勁的東西。Haskell的語(yǔ)法學(xué)的差不多了之后，用Haskell寫(xiě)了一個(gè)簡(jiǎn)單的C++代碼行統(tǒng)計(jì)工具，寫(xiě)過(guò)幾個(gè)版本，留下了兩個(gè)，一個(gè)是直接用模式匹配寫(xiě)的，一個(gè)是山寨了一個(gè)極簡(jiǎn)的parse combinator，然后用這個(gè)山寨的parse combinator寫(xiě)了一個(gè)版本，代碼估計(jì)寫(xiě)的都比較爛，以后進(jìn)階學(xué)習(xí)之后有時(shí)間再改。這個(gè)統(tǒng)計(jì)工具并不是完整的處理C++的語(yǔ)法，也沒(méi)對(duì)在字符串和宏定義里面的"http://" "/*" "*/"做處理，因此對(duì)某些C++程序統(tǒng)計(jì)代碼行，可能不完全正確，但是基本可以用。
data, type, newtype
Haskell里面用data來(lái)定義數(shù)據(jù)類(lèi)型，它可以是這樣：
data Mode = ReadMode | WriteMode
data Some = Some Int String
data Thing = { a :: Int, b :: String }
data Func a b = { func :: a -> b }
第一行定義了一個(gè)Mode，包含ReadMode和WriteMode；
第二行定義了一個(gè)普通數(shù)據(jù)類(lèi)型Some，包含一個(gè)Int數(shù)據(jù)和一個(gè)String數(shù)據(jù)；
第三行定義了一個(gè)普通數(shù)據(jù)類(lèi)型Thing，包含類(lèi)型為Int的a和類(lèi)型為String的b；
第四行定義了一個(gè)符合數(shù)據(jù)類(lèi)型Func，里面有個(gè)函數(shù)類(lèi)型為(a -> b)的數(shù)據(jù)func。
第一種相當(dāng)于C++中的enum class，第二種第三種相當(dāng)于普通的struct數(shù)據(jù)，第二種和第三種的區(qū)別是第二種不能直接取到Int和String的數(shù)據(jù)，第三種可以通過(guò)a,b取到數(shù)據(jù)，第四種相當(dāng)于C++的template class(struct)，第四種寫(xiě)成這樣來(lái)定義具體的數(shù)據(jù)類(lèi)型：
type IntStringFunc = data Func Int String
type在這里定義了一個(gè)別名IntStringFunc類(lèi)型，包含了一個(gè)函數(shù)類(lèi)型是Int -> String的func的數(shù)據(jù)，這里的type相當(dāng)于C++ 11的using別名，因?yàn)樗€可以這樣寫(xiě)：
type IntBFunc b = data Func Int b
在C++ 11中，using包含了typedef的功能，也支持了template class的類(lèi)型typedef，如下：
template <typename T, typename P>
class SomeType;
template <typename T>
using SomeTypeInt = SomeType<T, int>;
newtype定義的數(shù)據(jù)類(lèi)型跟type類(lèi)型，不過(guò)type定義的純粹是別名，別名類(lèi)型跟原始類(lèi)型是一致的，而newtype則定義的是一個(gè)wrapper，是一種新的數(shù)據(jù)類(lèi)型，所以是newtype。newtype定義的類(lèi)型是編譯時(shí)期的wrapper，Haskell保證沒(méi)有運(yùn)行時(shí)期的開(kāi)銷(xiāo)，newtype定義的跟data類(lèi)似：
newtype NewType a b = NewType { func :: a -> b }
模式匹配
上面說(shuō)道data定義的第二種數(shù)據(jù)類(lèi)型，包含Int和String的數(shù)據(jù)，但是不能直接取到這兩個(gè)數(shù)據(jù)，所以我們需要定義兩個(gè)函數(shù)來(lái)取其中的數(shù)據(jù)：
some = Some 0 "test" -- 定義一個(gè)數(shù)據(jù)，類(lèi)型為Some
-- 定義兩個(gè)函數(shù)用于獲取Some的數(shù)據(jù)
getSomeInt Some i _ = i
getSomeString Some _ s = s
getSomeInt some -- 0
getSomeString some -- "test"
這里的getSomeInt和getSomeString函數(shù)都是采用模式匹配來(lái)實(shí)現(xiàn)，模式匹配就是把數(shù)據(jù)的結(jié)構(gòu)直接寫(xiě)在代碼中來(lái)匹配，然后取出想要使用的數(shù)據(jù)即可。
Haskell里常用的Maybe數(shù)據(jù)類(lèi)型是這樣定義的：
data Maybe a = Nothing
| Just a
如果要取用Maybe里面的值，我們通常使用模式匹配來(lái)獲取數(shù)據(jù)，如下：
useMaybe maybe =
case maybe of
Nothing -> … -- Maybe的值是空
Just a -> … -- 直接使用a即可
useMaybe (Just 1)
下面調(diào)用useMaybe的函數(shù)體內(nèi)取到的a的值就是1。
Haskell里的內(nèi)置數(shù)據(jù)類(lèi)型list，比如[1, 2, 3, 4]，使用:可以把新的元素添加到list頭部，即：
0 : [1, 2, 3, 4] -- [0, 1, 2, 3, 4]
這樣的特性同樣可以簡(jiǎn)單的套用在模式匹配上面，如下：
useList [] =
useList (x:xs) = … -- x是list里面的第一個(gè)元素，xs是list的尾部
模式匹配可以很直觀的匹配數(shù)據(jù)的原始表示方式，并可以取出其中有用的值做其他操作，它是一個(gè)簡(jiǎn)單直觀有效的操作數(shù)據(jù)的方式，甚至可以在嵌套很深的tuple數(shù)據(jù)里面直接取出想要的數(shù)據(jù)，而不用像C++那樣調(diào)用tuple::get之類(lèi)的函數(shù)來(lái)取出其中的值，比如：
getTupleValue (_, _, _, (_, _, (x:xs))) = … -- 取得x和xs數(shù)據(jù)
Visitor模式和C++ template
王垠說(shuō)設(shè)計(jì)模式中值得一提的模式不多，其中之一的visitor模式是在模擬模式匹配。visitor模式通常是訪問(wèn)獲取某個(gè)繼承類(lèi)層次構(gòu)成的一個(gè)樹(shù)形結(jié)構(gòu)中的某個(gè)節(jié)點(diǎn)的具體類(lèi)型，并對(duì)這種具體類(lèi)型做某些操作，而模式匹配是可以從復(fù)雜的數(shù)據(jù)結(jié)構(gòu)中直接取出想要的數(shù)據(jù)。
C++的template meta-programming也可以看成是一種模式匹配，C++里面著名的Factorial求值是這樣的：
template <int N>
struct Factorial
{
enum { value = N * Factorial<N - 1>::value };
};
template <>
struct Factorial<0>
{
enum { value = 1 };
};
int v = Factorial<10>::value;
而這段代碼如果用Haskell寫(xiě)是這樣的：
factorial 0 = 1
factorial n = n * factorial (n - 1)
v = factorial 10
C++中的模板參數(shù)就是用來(lái)做模式匹配的，每特化一種類(lèi)型就可以匹配某種類(lèi)型，然后對(duì)那種匹配的類(lèi)型做相應(yīng)的操作。C++的template meta-programming是編譯時(shí)期（編譯器運(yùn)行期）的行為，所以它只能操作類(lèi)型以及編譯時(shí)期能夠確定的值，而模式匹配是程序本身的運(yùn)行期的行為。
Currying
Haskell的Currying是一個(gè)很有用的特性，但是我覺(jué)得這個(gè)特性濫用的話，也會(huì)讓程序代碼的可讀性降低不少。所謂Currying就是可以向一個(gè)多參數(shù)的函數(shù)傳遞比它所需的參數(shù)個(gè)數(shù)更少的參數(shù)后返回生成的一個(gè)新函數(shù)接受剩余的參數(shù)的函數(shù)。Haskell里的函數(shù)默認(rèn)都是curried的，所以Haskell里面的函數(shù)可以隨意currying，比如：
add :: Int -> (Int -> Int) -- 一般寫(xiě)成 Int -> Int -> Int
add a b = a + b
addOne :: Int -> Int
addOne = add 1
addOne 2 -- result: 3
Currying的實(shí)現(xiàn)是使用的單參數(shù)的lambda構(gòu)成的閉包(closure)，add可以看成是接受一個(gè)Int參數(shù)返回一個(gè)函數(shù)，這個(gè)函數(shù)的類(lèi)型是Int -> Int。
Partial application
Currying是一個(gè)從左到右部分傳參數(shù)的一個(gè)過(guò)程，也就是不會(huì)出現(xiàn)參數(shù)a還沒(méi)給，就給了具體的參數(shù)b的情況。如果確定要先給參數(shù)b，那么它是Partial application，如下：
addTwo a = add a 2
addTwo 1 -- result: 3
(+ 2) 1 -- result: 3
(+ 2)這種類(lèi)似的用法可能會(huì)作為參數(shù)傳遞給另外一個(gè)函數(shù)。Partial application是一種更寬泛的概念，上面的Currying是一種Partial application。
正如王垠所說(shuō)的，如果一個(gè)函數(shù)接受了多個(gè)參數(shù)，但是這個(gè)函數(shù)在實(shí)際調(diào)用中被Currying了很多次，那最后生成的那個(gè)函數(shù)它到底接受幾個(gè)參數(shù)是不能很直觀的看明白的，比如：
func a b c d e f = …
do1 = func 1
do2 = do1 2
do3 = do2 3
do4 = do3 4
do5 = do4 5
那當(dāng)我們看到do5函數(shù)的時(shí)候，我們是很難判斷do5到底接受幾個(gè)參數(shù)，尤其是do5跟前面幾個(gè)doN函數(shù)不在同一個(gè)地方定義，很有可能do5只是傳遞給某個(gè)函數(shù)的參數(shù)，當(dāng)然如果給每個(gè)函數(shù)都加上函數(shù)類(lèi)型聲明會(huì)清晰許多。當(dāng)Currying碰到了flip之后，那代碼的可讀性會(huì)降低更多，所以我覺(jué)得Currying是一個(gè)很有用的特性，但是如果被濫用的話，那代碼的可讀性會(huì)是一個(gè)問(wèn)題。
C++: function + bind
C++中的function + bind其實(shí)是一種Partial application實(shí)現(xiàn)，比如：
int Func(int a, int b, int c);
std::function<int (int, int)> f1 = std::bind(Func, 1, std::placeholders::_1, std::placeholders::_2);
std::function<int (int)> f2 = std::bind(f1, std::placeholders::_1, 3);
f2(2); // Func(1, 2, 3);
我覺(jué)得C++的function + bind會(huì)比Currying的可讀性要好一些，畢竟我們可以完整看到f1和f2的函數(shù)類(lèi)型，知道參數(shù)類(lèi)型及個(gè)數(shù)和返回值，是有利于代碼的可讀性的，當(dāng)然這里完全可以不寫(xiě)出f1和f2的類(lèi)型，采用auto，我們同樣可以從調(diào)用函數(shù)bind的placeholder的個(gè)數(shù)得知bind之后的function的參數(shù)個(gè)數(shù)，這樣我們可以不用看到函數(shù)Func的聲明，就知道需要傳幾個(gè)參數(shù)。function + bind跟Currying一樣會(huì)影響代碼的可讀性，如果嵌套的層次越多，可讀性就越差，所以使用這些特性的時(shí)候不要過(guò)度。
typeclass
Haskell用typeclass來(lái)表示一個(gè)concept，它是一組抽象函數(shù)的集合，一個(gè)滿(mǎn)足某個(gè)typeclass的數(shù)據(jù)類(lèi)型，它就可以跟其他使用這個(gè)typeclass的函數(shù)或者數(shù)據(jù)類(lèi)型組合使用。typeclass一般這么定義：
class Monad m where
(>>=) :: m a -> (a -> m b) -> m b
(>>) :: m a -> m b -> m b
return :: a -> m a
fail :: String -> m a
它定義了一個(gè)叫Monad的typeclass，這個(gè)typeclass的concept里有四個(gè)函數(shù)，分別是(>>=), (>>), return和fail，m是一個(gè)帶類(lèi)型參數(shù)的數(shù)據(jù)類(lèi)型。我們上面知道了Maybe是一個(gè)帶類(lèi)型參數(shù)的data類(lèi)型，它定義如下：
data Maybe a = Nothing
| Just a
既然Maybe是一個(gè)帶類(lèi)型參數(shù)的data，那它就滿(mǎn)足Monad typeclass中m的需求，因此可以把Maybe定義成Monad，如下：
instance Monad Maybe where
(>>=) maybeA f =
case maybeA of
Nothing -> Nothing
Just a -> f a
(>>) maybeA maybeB = maybeA >>= (\_ -> maybeB)
return = Just
fail = error
這里(\_ -> maybeB)定義了一個(gè)lambda，參數(shù) _ 緊接 \，-> 后面則是函數(shù)體。函數(shù)(>>)和fail是可以作為默認(rèn)實(shí)現(xiàn)放到class Monad的定義里面，而instance Monad的時(shí)候只需要實(shí)現(xiàn)(>>=)和return即可。
class Monad m where
(>>=) :: m a -> (a -> m b) -> m b
(>>) :: m a -> m b -> m b
(>>) ma mb = ma >>= (\_ -> mb)
return :: a -> m a
fail :: String -> m a
fail = error
對(duì)于內(nèi)置list類(lèi)型[a]，也是帶有一個(gè)類(lèi)型參數(shù)a，因此，我們同樣可以把[] instance成為class Monad，如下：
instance Monad [] where
(>>=) (x:xs) f = (f x) ++ (xs >>= f)
(>>=) [] _ = []
return a = [a]
函數(shù)(>>)和fail我們保留默認(rèn)的實(shí)現(xiàn)即可。
Monad
上面實(shí)現(xiàn)的定義的typeclass就是Haskell著名的Monad，它是組合其他操作的一個(gè)基礎(chǔ)typeclass，是與no pure交互的一個(gè)重要媒介。一般情況下Monad有兩種，一種是數(shù)據(jù)wrapper，一種是action的wrapper。上面定義的Maybe Monad和list Monad都是數(shù)據(jù)類(lèi)型的wrapper，它們實(shí)現(xiàn)了Monad定義的接口函數(shù)，我們還可以將其它data instance成Monad，只需要遵循了Monad的接口即可。
我們知道Haskell的函數(shù)都是pure的，沒(méi)有任何狀態(tài)的函數(shù)，但是與現(xiàn)實(shí)世界交互必然需要影響或修改某種狀態(tài)，并且會(huì)需要順序執(zhí)行某些操作以完成交互。我們把a(bǔ)ction操作封裝在一個(gè)data里面，并讓它instance Monad，為了讓前一個(gè)action的結(jié)果值作為某種狀態(tài)往下傳遞，Monad的(>>=)就是為了這個(gè)目的而存在的，(>>=) 函數(shù)的類(lèi)型是 m a -> (a -> m b) -> m b，它的意思就是執(zhí)行封裝在m a這個(gè)數(shù)據(jù)里面的action，然后把這個(gè)action的結(jié)果值做為參數(shù)傳遞給(>>=)的第二個(gè)參數(shù)(a -> m b)，第二個(gè)參數(shù)是一個(gè)函數(shù)，這函數(shù)可以取用第一個(gè)參數(shù)的結(jié)果，再返回一個(gè)m b的數(shù)據(jù)，m b的數(shù)據(jù)也是一個(gè)action的封裝，這樣當(dāng)一連串的(>>=)放到一起的時(shí)候，就可以把一個(gè)狀態(tài)值作為action的參數(shù)和結(jié)果值往下傳遞。
從Monad的函數(shù)(>>)的實(shí)現(xiàn)我們可以看到，它把m a的action的結(jié)果值丟棄直接返回了m b，當(dāng)一連串的(>>)放到一起的時(shí)候，其實(shí)就是讓一組action順序執(zhí)行。通過(guò)(>>=)和(>>)，可以把一組Monad action data組合起來(lái)。
IO Monad
IO Monad是一個(gè)把IO action封裝的data，我們可以使用IO Monad與外界進(jìn)行輸入輸出交互，下面是一個(gè)"hello world"：
helloWorld = do
putStr "hello "
putStrLn "world"
這里do語(yǔ)法糖其實(shí)就是用的Monad來(lái)實(shí)現(xiàn)，展開(kāi)之后是這樣：
helloWorld =
(putStr "hello ") >>
(putStrLn "world")
由(>>)函數(shù)確定(putStr "hello ")和(putStrLn "world")需要是同一個(gè)Monad類(lèi)型，我們可以查詢(xún)到putStr和putStrLn的類(lèi)型是String -> IO ()，那么(putStr "hello ")和(putStrLn "world")的類(lèi)型都是IO ()，helloWorld函數(shù)把兩個(gè)IO ()的action數(shù)據(jù)順序組合起來(lái)生成一個(gè)新的IO ()，當(dāng)這個(gè)helloWorld IO action被執(zhí)行的時(shí)候，它會(huì)依次執(zhí)行封裝在它里面的IO action。我們可以把helloWorld IO action放到Main函數(shù)里面然后編譯執(zhí)行，也可以直接在ghci里面執(zhí)行。
我們可以自己定義某種data再instance Monad，這樣可以構(gòu)成一組data combination，可以實(shí)現(xiàn)任意的action combine。我山寨的極簡(jiǎn)的parse combinator的數(shù)據(jù)類(lèi)型定義如下：
newtype Parser a = Parser {
runP :: State (ByteString, Context) a
} deriving (Monad, MonadState (ByteString, Context))
這里Parser帶一個(gè)類(lèi)型參數(shù)a，deriving (Monad, MonadState (ByteString, Context))表示編譯器自動(dòng)instance Monad和instance MonadState (ByteString, Context)。有了這個(gè)Parser之后，可以寫(xiě)出簡(jiǎn)單的幾個(gè)combinator，然后使用這幾個(gè)combinator組合成更加復(fù)雜的，組合的過(guò)程就是利用了Monad的組合能力。當(dāng)所需的combinator都實(shí)現(xiàn)了好了之后，可以最終實(shí)現(xiàn)一個(gè)Parser a來(lái)分析整個(gè)C++文件：
file = repeatP $ spaceLine <||> normalLine
file就把分析整個(gè)C++文件所需的操作都combine到了一起，有了這個(gè)分析整個(gè)文件的Parser a之后，需要把它跑起來(lái)，那就需要定義下面這個(gè)函數(shù)：
runParse :: Parser a -> ByteString -> (a, (ByteString, Context))
runParse p b = runState (runP p) $ (b, emptyContext)
這個(gè)函數(shù)接受一個(gè)Parser a和一個(gè)文件內(nèi)容ByteString作為參數(shù)，把整個(gè)Parser a封裝的action用于分析文件內(nèi)容，再產(chǎn)生一個(gè)分析結(jié)果。
這里的file，它是一個(gè)一個(gè)小的combinator構(gòu)成的，每個(gè)combinator是一個(gè)action加上它所需數(shù)據(jù)構(gòu)成一個(gè)“閉包”再存放到Parser a的data里面，其實(shí)可以認(rèn)為實(shí)現(xiàn)了Monad的數(shù)據(jù)類(lèi)型是一個(gè)“閉包”的載體。在其它語(yǔ)言里，我們可以使用閉包來(lái)實(shí)現(xiàn)combinator，我記得兩年半前，我使用lua的閉包實(shí)現(xiàn)了一組游戲副本內(nèi)容玩法操作的combinator，這些閉包自由組合在一起之后就能完成一個(gè)副本中所需的玩法操作。
Monad transformer
一種Monad類(lèi)型只能封裝和組合一種action操作，而與外界交互的時(shí)候，很多時(shí)候一種Monad類(lèi)型是不夠的，為了讓多種Monad類(lèi)型組合在一起，就需要定義Monad transformer，它跟Monad一樣也是一個(gè)數(shù)據(jù)類(lèi)型，不同的是它接受至少兩種類(lèi)型參數(shù)，其中一種就是Monad的類(lèi)型，這樣就可以把某個(gè)Monad類(lèi)型嵌套在它里面。
newtype StateT s m a = StateT {
runStateT :: s -> m (a, s)
}
這里StateT就是一個(gè)Monad transformer，它允許嵌套一個(gè)Monad m類(lèi)型，它是typeclass MonadState的一個(gè)instance，MonadState如下：
class Monad m => MonadState s m | m -> s where
get :: m s
put :: s -> m ()
為了讓Monad transformer可以嵌套進(jìn)StateT，其它類(lèi)型的Monad transformer就需要instance MonadState，而StateT Monad transformer為了可以嵌套在其它Monad transformer中，就需要對(duì)其它Monad transformer抽象出來(lái)的typeclass instance，符合這種規(guī)則的Monad transformer就可以相互之間嵌套了，嵌套的層次可以任意深，這樣構(gòu)造出來(lái)的Monad里面有個(gè)Monad transformer stack，而這個(gè)新構(gòu)造出來(lái)的Monad就可以使用多種Monad的action操作組合在一起了。
Monad transformer會(huì)帶來(lái)一個(gè)問(wèn)題，如果想定義一個(gè)新的Monad transformer，需要先抽象出這個(gè)Monad transformer的typeclass，就像MonadState typeclass一樣，然后把其它Monad transformer都instance這個(gè)新抽象出來(lái)的typeclass，這樣才能讓這個(gè)新的Monad transformer嵌套在其它的Monad transformer之中，接著，為了讓其它Monad transformer能夠嵌套在新的Monad transformer之中，需要把新的Monad transformer instance其它Monad transformer抽象的typeclass。
我覺(jué)得其實(shí)Haskell為什么會(huì)有Monad和Monad transformer的存在，是因?yàn)镠askell是一個(gè)純函數(shù)式語(yǔ)言，它本身沒(méi)有順序執(zhí)行語(yǔ)句的能力，為了能讓Haskell擁有修改外部狀態(tài)并能夠順序執(zhí)行語(yǔ)句的能力，引入了Monad，又為了讓多種action的Monad能夠組合到一起，由于Monad是一個(gè)data type，它不能簡(jiǎn)單的組合到一起，因?yàn)轭?lèi)型不一致，為了讓它們組合到一起，又引入了更一般化的Monad transformer，讓這些Monad transformer嵌套在一起構(gòu)成一個(gè)stack，才能將這些不同類(lèi)型的Monad組合。
Lazy evaluation
Haskell里面使用的是惰性求值方式，王垠說(shuō)Haskell的惰性求值是一個(gè)很?chē)?yán)重的問(wèn)題。我目前也覺(jué)得惰性求值是一種負(fù)擔(dān)，因?yàn)槎栊郧笾担瑫?huì)使得程序很容易就出現(xiàn)space leak，我寫(xiě)的那兩個(gè)版本的統(tǒng)計(jì)C++代碼行工具都有這個(gè)問(wèn)題，因?yàn)樗嵌栊郧笾担运鼤?huì)把整個(gè)目錄的數(shù)據(jù)全部取出來(lái)構(gòu)造存放到內(nèi)存中，最后再進(jìn)行求值，這就自然導(dǎo)致統(tǒng)計(jì)大量C++代碼文件的目錄時(shí)，占用內(nèi)存會(huì)很高（幾百M(fèi)上G），也許當(dāng)我進(jìn)一步學(xué)習(xí)之后，我能夠避免這種space leak，但這對(duì)于一個(gè)初學(xué)Haskell的人是一個(gè)不小的負(fù)擔(dān)，因?yàn)殡S便寫(xiě)一個(gè)小程序都有可能耗用幾百M(fèi)的內(nèi)存，而用其他語(yǔ)言實(shí)現(xiàn)的話，內(nèi)存很容易很自然的控制在幾M之內(nèi)。（看完優(yōu)化章節(jié)，只對(duì)程序修改了幾行代碼就讓內(nèi)存使用降到可以接受的程度，看來(lái)Lazy evaluation的問(wèn)題沒(méi)之前想像的那么嚴(yán)重。）
posted on 2013-04-30 20:41
airtrack 閱讀(5529)
評(píng)論(0) 編輯 收藏 引用