類型推導(dǎo)到這里也就結(jié)束了。雖然可能有點小bug，不過這個以后遇到再處理了。接下來的一個模塊是跟類型推導(dǎo)沒有耦合的新模塊，兩邊可以平行處理。

    Kernel FP的指令集不同于以往的指令集。因為作為一門純函數(shù)式語言，就必須要有l(wèi)aziness。這就是說，凡是可以不運行的代碼都一定不運行，凡是可以晚一點執(zhí)行的代碼一律等到需要的時候再執(zhí)行。也就是說，參數(shù)傳進(jìn)函數(shù)的時候，傳的是代碼而不是值。我們可以得到一個推論就是：代碼的執(zhí)行順序是不能影響程序的執(zhí)行結(jié)果的，如果兩個表達(dá)式耦合了，那么一定是確定了順序的。因此指令集只能用來表達(dá)代碼的邏輯結(jié)構(gòu)。

    其實確定順序是一個什么樣子的東西呢？舉個例子，我們擁有一個從用戶那里讀字符串的函數(shù)：Input，我們需要將用戶輸入的三個字符串傳入一個函數(shù)：
    Function Input Input Input
    實際上這是不行的，因為三個Input是耦合的，因此他們必須滿足嵌套關(guān)系。當(dāng)然，編譯器會檢查出來。

    實際上怎么寫呢？因為順序要確定，所以邏輯上大概就是：
    do
        a=Input
        b=Input
        c=Input
        pack (Function a b c)
    end

    Kernel FP沒有變量，因此abc只是三個表達(dá)式的別名而已。那么我們?nèi)绾螌⒋a轉(zhuǎn)變?yōu)榍短椎谋磉_(dá)式以便推導(dǎo)呢：我們可以產(chǎn)生若干臨時函數(shù)：
    我們用\a->b來表達(dá)一個匿名函數(shù)，輸入a返回b
    Input >>= \a->( Input >>= \b-> (Input >>= \c-> (pack (Function a b c))))
    當(dāng)然，根據(jù)優(yōu)先級我們可以去掉一些括號：
    Input >>= \a->Input >>= \b->Input >>= \c-> pack (Function a b c)

    這個時候仍然不能保證三個Input的執(zhí)行順序，因此我們將Input定義為一個需要一個狀態(tài)參數(shù)的函數(shù)，然后定義>>=去傳遞狀態(tài)。剩下來就是大家都無比熟悉的Monad了，略過不講。因為產(chǎn)生狀態(tài)只能由Input這個黑盒自己搞，所以由于類型系統(tǒng)的約束，第三個Input需要的狀態(tài)參數(shù)由第二個Input產(chǎn)生，遞歸下去，順序就被強制確定了。

    當(dāng)然，未來的語法應(yīng)該會很漂亮的。

    Kernel FP的laziness是通過對代碼的推導(dǎo)自動獲得的。這個推導(dǎo)跟我們在做數(shù)學(xué)題的推導(dǎo)是一樣的。我們看一個例子：

    sum count xs求數(shù)組前count項合，array i則產(chǎn)生[i , i+1 , i+2...]這樣的無窮數(shù)組，因此main的結(jié)構(gòu)必然是1+2+3=6。推導(dǎo)過程如下：

    接下來要做的是，確定指令集的形式了。指令集的作用有兩個，產(chǎn)生代碼以及推導(dǎo)代碼。