Kernel FP的虛擬機設計起來比較別扭，主要還是因為laziness的問題。不過現在已經有了一個能用的想法了。

    第一個需要確定的是assembly。當然，這個assembly只是概念上的，現在并沒有什么確定的形式。一個assembly需要一些函數的結構以及名表。名表的作用是減少特化模板函數所需要的內存空間。一個函數總是可以被分解成一個模板以及對于每一種類型需求下所做出的一些改變。例如：

    現在有代碼：
    在調用inc2的時候，會根據x的類型確定所需要的inc究竟是什么。這個時候，inc2僅僅依賴于inc，所以在生成assembly的時候可以為這段指令的inc留一個自定義的位置，然后記錄當x為string的時候調用第二個，當x為int的時候調用第一個。這個時候inc2的定義就被完整的保留了下來，而且也不需要在運行的時候才判斷重載。

    事實上，函數應當屬于值。而且有了laziness，代碼也應當屬于值。所以實際上運行的時候只需要一種數據結構，也就是值了。值有以下幾種：
    1、整數和字符（浮點數以后再加）
    2、類型構造（譬如list a b）
    3、表達式樹（譬如\a->imul a a）

    在Kernel FP運行的任意一個階段，所產生的中間結果會這最終結果都只能是這三種類型的其中一種。而且這三種類型還是互相嵌套的。那么在什么時候開始運算呢？實際上我們一貫來需要的首先是判斷一個值得類型，也就是將值轉換成1或者2。Kernel FP里面的select-case表達式也需要這種功能。至此什么時候該laziness已經非常清楚了。一個表達式來了，我們首先獲得它的類型（從而獲得其結構），這個時候就一直運行到知道整數的內容、字符的內容或者得到類型構造的構造符號（譬如list）的時候暫停。當結果為類型構造的時候，讀到了內容的時候繼續遞歸。這樣就可以保證一個值無論在Kernel FP，或者在一個使用Kernel FP的虛擬機的C++程序里面，不需要執行的Kernel FP代碼一定不會被執行。

    Kernel FP的表達式一共有primitive表達式（整數或者字符）、函數調用表達式、let-in的局部名稱定義表達式、lambda表達式以及select-case表達式。其中，運行的時候let-in表達式可以轉化為lambda表達式，函數定義也可以轉換為lambda表達式，所以運行時所需的表達式結構也就很容易確定下來了：

    1、值（整數常量或字符常量）
    2、名引用（引用到一個局部的或全局的名稱并提供相應的名表，并且保證對同一個名稱在不同的地方求值不會導致重復的代碼執行）
    3、函數調用
    4、lambda表達式（用于積累到所有參數足夠的時候，獲得表達式以及局部的名引用對象表）
    5、select-case表達式（用于讓laziness的代碼開始運轉所需的部分）

    那么，當需要知道一個表達式的值的時候需要做什么事情呢？
    首先，對于值來說，因為是常量，所以不需要進行更多的運算。
    第二，對于名引用來說，因為執行的是名引用的表達式，因此不需要什么特殊的動作，只需要按照這里定義的策略執行。
    第三，對于函數調用，我們需要將函數的參數傳入lambda表達式的第一個參數，生成一個新的名引用對象并將lambda表達式的內容提上來。
    第四、lambda表達式，不需計算，因為函數本身就是一個值。
    第五、select-case表達式，對被判斷的表達式本身的類型進行判斷，運行最少的代碼之后，生成case所需要的名引用對象并將case的結果表達式的內容提上來。

    至此，運行帶有laziness的Kernel FP代碼所需要的數據結構以及策略都定下來了。