摘要: 以前為了開發(fā)KFP，特別學(xué)習(xí)了一下lambda calculus（也就是我的博客的標(biāo)題啦）。lanbda calculus是一門神奇的語(yǔ)言，在計(jì)算機(jī)出現(xiàn)之前就已經(jīng)被搞出來(lái)了。這門語(yǔ)言只有三種語(yǔ)法，然后可以用這個(gè)語(yǔ)法來(lái)構(gòu)造整數(shù)（！！！）、布爾型和很多遞歸數(shù)據(jù)結(jié)構(gòu)等。

內(nèi)含代碼  閱讀全文      摘要: 符號(hào)表的結(jié)構(gòu)的復(fù)雜度跟語(yǔ)言的語(yǔ)義規(guī)則的復(fù)雜度有關(guān)。對(duì)于C#來(lái)說(shuō)，每一個(gè)符號(hào)都附帶了一大堆信息，譬如位置啦，所在的namespace啦，類型啦什么的。對(duì)于JavaScript來(lái)說(shuō)，符號(hào)表幾乎是不需要的，因?yàn)闁|西都動(dòng)態(tài)了，編譯時(shí)幾乎不檢查內(nèi)容。語(yǔ)義分析的輸出是符號(hào)表，代碼生成的輸入是符號(hào)表和語(yǔ)法樹。因此語(yǔ)法樹除了放語(yǔ)法相關(guān)的內(nèi)容，語(yǔ)義相關(guān)的內(nèi)容最好放到符號(hào)表里面（譬如說(shuō)表達(dá)式的類型啦，語(yǔ)句的scope結(jié)果啦）。  閱讀全文      摘要: 這篇轉(zhuǎn)載的文章主要講了為什么寫非工作的代碼的時(shí)候，要時(shí)不時(shí)刁難自己。

內(nèi)詳。  閱讀全文      摘要: 整整寫了一天，終于基本寫完了CMinus的語(yǔ)義分析的代碼，只剩下一個(gè)檢查struct是否可以計(jì)算出長(zhǎng)度的問(wèn)題（環(huán)引用造成的）。下面貼出語(yǔ)義分析的結(jié)果，從結(jié)果中可以看出符號(hào)表的結(jié)構(gòu)以及構(gòu)造方法：  閱讀全文      摘要: 今天寫了一些CMinus程序供語(yǔ)法分析器分析，然后程序從語(yǔ)法樹重新生成格式化后的代碼，兩邊比較檢查優(yōu)先級(jí)什么的是否正確處理。下面是CMinus寫的冒泡排序、菲薄納氣數(shù)列、鏈表操作函數(shù)以及其他程序：  閱讀全文      摘要: 在實(shí)驗(yàn)了CMinus語(yǔ)法分析器的錯(cuò)誤處理之后發(fā)現(xiàn)一個(gè)問(wèn)題，Combinator Parser返回的錯(cuò)誤是最上級(jí)的錯(cuò)誤，而不是最底層的錯(cuò)誤。因此修改了語(yǔ)法分析器的一部分代碼：  閱讀全文      摘要: 這一次的語(yǔ)法分析器，我使用Vczh Combinator Parser，按照文法的定義，將字符串轉(zhuǎn)換成了語(yǔ)法樹。Vczh Combinator Parser構(gòu)造較大規(guī)模的編譯器的時(shí)候還是較為吃力，主要原因出在Visual C++竟然限制一個(gè)類型全名不能超過(guò)某個(gè)長(zhǎng)度T_T……下面是代碼：  閱讀全文      摘要: 今天照著C Minus的語(yǔ)法（略有修改）設(shè)計(jì)出了C Minus的語(yǔ)法樹。語(yǔ)法樹的設(shè)計(jì)盡量讓生成語(yǔ)法樹的代碼易于編寫。每一個(gè)結(jié)構(gòu)的意義十分明確，而且結(jié)構(gòu)與結(jié)構(gòu)之間不需要有相互聯(lián)系。下面是語(yǔ)法樹的代碼：  閱讀全文      摘要: 把中間指令都搞定了之后，得開始做一門JIT的腳本引擎了。但是這門腳本引擎不是用來(lái)寫的，而是用來(lái)給更高級(jí)的語(yǔ)言編譯的。這是什么意思呢？雖然我現(xiàn)在寫了個(gè)語(yǔ)法分析器，提供了語(yǔ)法樹，但是我的目的是讓我以后設(shè)計(jì)的更高級(jí)的語(yǔ)言可以編譯成這門相對(duì)底層的語(yǔ)言，而不是直接編譯成中間指令。這樣很多事情都會(huì)好做很多。

這一門語(yǔ)言主要模仿C，提供指針、結(jié)構(gòu)、數(shù)組、基本類型和函數(shù)指針。還有extern函數(shù)做外部鏈接用。因?yàn)榫幾g成機(jī)器碼，所以可以直接把一個(gè)函數(shù)指針丟進(jìn)我的腳本引擎，就可以這么用了。而且我的腳本里面的函數(shù)也可以直接作為一個(gè)函數(shù)指針提供出來(lái)。復(fù)合類型組要勇于跟C++交互。在C++與腳本里面聲明同樣的struct，不需要做額外工作，就可以互相使用了。
  閱讀全文      摘要:
FPU寫起來(lái)還真是囧啊，下面20個(gè)函數(shù)實(shí)現(xiàn)到想死……
Sin,Cos,Tan,Cot,Sec,Csc,ASin,ACos,ATan,ACot,ASec,ACsc,Sqrt,Exp,Ln,Abs,Round,Trunc,Ceil,Floor
下面是這20個(gè)函數(shù)的匯編代碼，其中Exp更是登峰造極……  閱讀全文