我至今依稀還記得畢業(yè)前做Vczh Library++3.0的偉大目標(biāo)，就是實(shí)現(xiàn)把動(dòng)態(tài)語(yǔ)言通過(guò)“動(dòng)態(tài)語(yǔ)言”->“托管語(yǔ)言”->“本地語(yǔ)言”->“低級(jí)中間指令”->“X86代碼”最終編譯成機(jī)器碼，同時(shí)開(kāi)放出所有中間過(guò)程。這樣的話(huà)添加一個(gè)就變成一個(gè)寫(xiě)parser的簡(jiǎn)單工作，添加一個(gè)類(lèi)庫(kù)會(huì)惠及所有語(yǔ)言，添加一個(gè)運(yùn)行是目標(biāo)（譬如說(shuō)可以輸出ARM等）可以讓在這上面的所有語(yǔ)言都能運(yùn)行在該目標(biāo)是。現(xiàn)在第一個(gè)階段完成了，就是把本地語(yǔ)言和低級(jí)中間指令給做了。

    其實(shí)現(xiàn)在叫本地語(yǔ)言不太合適，只是那個(gè)東西就是C+泛型+concept mapping的組合體，可以輕易被翻譯成X86，所以才這么叫的。暫時(shí)還是寫(xiě)了個(gè)虛擬機(jī)直接執(zhí)行低級(jí)中間指令。在整個(gè)開(kāi)發(fā)過(guò)程中，我還給這種語(yǔ)言寫(xiě)了一個(gè)基本的函數(shù)庫(kù)：字符串、數(shù)學(xué)函數(shù)、內(nèi)存管理、垃圾收集（只是函數(shù)庫(kù)，而不是語(yǔ)法，目前只有簡(jiǎn)單的暫時(shí)的實(shí)現(xiàn)）、線(xiàn)程、同步原語(yǔ)和線(xiàn)程池。有了這些設(shè)施之后就可以開(kāi)始做托管語(yǔ)言了。

    托管語(yǔ)言比較麻煩的地方在于類(lèi)庫(kù)是必需的。譬如說(shuō)字符串、數(shù)組和函數(shù)對(duì)象這些東西其實(shí)是無(wú)法靠語(yǔ)言本身做出來(lái)的，所以只能成為預(yù)定義的類(lèi)庫(kù)。那這些類(lèi)庫(kù)用什么寫(xiě)呢？當(dāng)然是我們的本地語(yǔ)言（之前還寫(xiě)了一個(gè)叫NativeX的parser）啦?，F(xiàn)在的設(shè)想就有，先把預(yù)定義的類(lèi)庫(kù)的聲明用托管語(yǔ)言本身寫(xiě)出來(lái)，然后編譯器會(huì)提供一個(gè)功能將托管語(yǔ)言編譯成本地語(yǔ)言（目標(biāo)箭頭之一），然后把所有標(biāo)記成“外部函數(shù)”的函數(shù)跳過(guò)。每一個(gè)函數(shù)在生成本地語(yǔ)言的時(shí)候都會(huì)給出一個(gè)經(jīng)過(guò)計(jì)算的名字。然后只需要再用NativeX寫(xiě)出這些同名的函數(shù)實(shí)現(xiàn)就好了。剩下的一些能夠用托管語(yǔ)言自己實(shí)現(xiàn)的函數(shù)，就可以整個(gè)被編譯成本地語(yǔ)言。編譯出來(lái)的本地語(yǔ)言會(huì)依賴(lài)與之前寫(xiě)出來(lái)的一個(gè)垃圾收集函數(shù)庫(kù)。這種函數(shù)庫(kù)在本地語(yǔ)言只有一個(gè)聲明，腳本引擎在運(yùn)行的時(shí)候可以給這些名字bind上一個(gè)實(shí)現(xiàn)。所以實(shí)際上垃圾收集函數(shù)庫(kù)的實(shí)現(xiàn)是可以替換的（只是必須在初始化的時(shí)候指定）。將來(lái)萬(wàn)一我重寫(xiě)的實(shí)現(xiàn)不夠好，人們還能自己搞一套出來(lái)?yè)Q掉，達(dá)到他們不可告人的目的。

    至于托管語(yǔ)言本身有什么功能，肯定是抄自這個(gè)世界上最先進(jìn)的弱類(lèi)型以面向?qū)ο笞鳛橹饕妒降耐泄苷Z(yǔ)言——C#啦，啊哈哈哈哈。Java的語(yǔ)言本身根本沒(méi)有被抄的價(jià)值。至于之后的動(dòng)態(tài)語(yǔ)言，肯定是被編譯到托管語(yǔ)言的。只是這個(gè)過(guò)程不會(huì)跟DLR那么簡(jiǎn)單直接把類(lèi)型和表達(dá)式拿去映射。這里面可以做很多有趣的事情的，譬如盡量推導(dǎo)出動(dòng)態(tài)語(yǔ)言里面每一個(gè)變量的類(lèi)型約束（我們很多時(shí)候其實(shí)都知道動(dòng)態(tài)語(yǔ)言里面的某個(gè)變量是有限若干個(gè)類(lèi)型的集合的），然后為他們產(chǎn)生出更加有效的代碼。這里可能會(huì)將一個(gè)函數(shù)編譯成目的相同但是類(lèi)型不同的幾份（注意這里不是在做泛型展開(kāi)）。

    第二個(gè)階段就開(kāi)始了。