這幾天一直在忙學(xué)校的比賽，到了今天終于有空了。

    Lazy Script的語法實(shí)在是很復(fù)雜，因此不得不在進(jìn)行第一步的名字檢查之后把原本的語言轉(zhuǎn)換為內(nèi)部使用的一種元語言。這種元語言設(shè)計(jì)的原則是盡量簡單。譬如[y|y<-xs , y<x]這樣的語法和do-end語句就需要被轉(zhuǎn)換掉。進(jìn)行了轉(zhuǎn)換以后，就需要對元語言進(jìn)行一個(gè)類型方程組的建立。這一步暫時(shí)還沒有建模好，而且實(shí)際工作需不需要真的構(gòu)造出一組方程組還不知道。目前還比較沒有頭緒的就是如何對模板函數(shù)的類型方程建模。

    舉個(gè)例子，譬如我們對上一篇文章中提到的代碼進(jìn)行類型方程組的構(gòu)造：
    我們找到的已定義名稱有：
    ·(<=) :: Int -> Int -> Bool | Float -> Float -> Bool
    ·if :: Bool -> T -> T -> T
    ·(++) :: [T] -> [T] -> [T]
    ·(-) :: Int -> Int -> Int | Float -> Float -> Float
    ·0 :: Int
    ·1 :: Int

    為上面的程序建立方程組，我們可以得到：
    T(makelist) T(num) T(list) =
    (Bool -> T0 -> T0 -> T0)
        ((<=)::(Int -> Int -> Bool | Float -> Float -> Bool) T(num) Int)
        T(list)
        (T(makelist)
            ((-)::(Int -> Int -> Int | Float -> Float -> Float) T(num) Int)
            ((++)::([T1] -> [T1] -> [T1]) [T(num)] T(list))
        )

    對上面的函數(shù)調(diào)用類型進(jìn)行進(jìn)一步的推導(dǎo)，我們可以得到：
    Bool = (<=)::(Int -> Int -> Bool | Float -> Float -> Bool) T(num) Int
    T0 = T(list)
    T0 = T(makelist)  ((Int -> Int -> Int | Float -> Float -> Float) T(num) Int) ((++)::([T1] -> [T1] -> [T1]) [T(num)] T(list))
    T(makelist) T(num) T(list) = T0

    緊接著繼續(xù)推導(dǎo)，我們有：
    (<=)::(Int -> Int -> Bool | Float -> Float -> Bool) T(num) = Int
    (-)::((Int -> Int -> Int | Float -> Float -> Float) T(num) = Int
    [T1] = [T(num)]
    [T1] = T(list)

    根據(jù)上面的式子我們可以得到：
    T(num)=Int
    T1=Int
    T(list)=[Int]
    (++)::[Int] -> [Int] -> [Int]
    (<=)::Int -> Int -> Bool
    (-):: Int -> Int -> Int
    T0 = [Int]
    if :: Bool -> [Int] -> [Int]
    makelist :: [Int] -> [Int] -> [Int]

    至于如何為上面的整個(gè)過程建模，還得在這幾天內(nèi)想出辦法來。現(xiàn)在唯一知道的就是，構(gòu)造一個(gè)類型方程組需要確定解的名字，然后求解。解還有若干種，譬如確定解，模板解等等。具體細(xì)節(jié)還需要繼續(xù)斟酌。