關於編譯器的一些想法

導航：首頁 > 程式語言、邏輯學> 關於編譯器的一些想法

coding:style

Type Felix struct{
	Str name,
	Int age};

Int a = 2 + 2;

(Int Int -> Int) add = lmd(x, y) {
	if (x == 0){
		return y;
	}else{
		return x + y;
	}
};

bool a = (20 == (lmd(int x, int y){return x * y;}(12, 6)) + 2);

Felix (Str name, Int age)

Int a = 2 + 2;

add = l int x ,int y

迴圈

for 到 while

${\begin{aligned}&for(idVar=initValue;~~cond(idVar);~~idVar:=updateIdVar(i))\{\\&body...\\\}\end{aligned}}$

可以轉換成

${\begin{aligned}&idVar=initValue\\&while(cond(i))\{\ \\&body...\\&idVar:=updateIdVar(i)\\&\}\end{aligned}}$

迴圈如何變成尾遞迴

${\begin{aligned}&while(condFunction(x~[,y,...]))\{\\&bodyExp_{1}[,bodyExp_{2},...]\\&\}\\\end{aligned}}$

其中 $bodyExp_n$ 可以為下列之一：

• $oldVar_{j}:=f(calledVar_{1},[calledVar_{2},...])$
• $newVar_{j}=f(calledVar_{1},[calledVar_{2},...])$
• $f(expression_{i})$ 當然還有部分調用、全部調用
• $isolatedVar$
• $consonant$

可以分析 $oldVar_{j}$ 有哪些？$newVar_{j}$有哪些？

設$oldVarSet=\{oldVar_{i}|i=1,2,...,n\}$，$calledVarSet=\{calledVar_{i}|i=1,2,...,n\}$ 則

$iteratedVarSet=oldVarSet\cap calledVarSet$

while 迴圈就可以變成新的遞迴函數 $recFunc$，如下：

${\begin{aligned}&recFunc(all~x~from~iteratedVarSet)\{\\&if(condFunction)\{\\&newBodyExp_{i}\\&return~~recFunc(...)\\&\}\\&\}\end{aligned}}$

對字串的思考

字串是什麼？ →其實可以表示為很大的數字。

所以，要用鏈表表示也是可行的。

閉包

 (x)=>{foo(x, free_vars)}

轉換

 ThunkAnony8964 thunkanony8964(TypeOfX x ,TypeFreeVars  env){
foo(x, env[free_vars]);
 }
 
 struct ClosureTypei1r1 {
 TypeFreeVars env, # 可以用鏈表
 *ThunkAnony8964 thunk,
 };
 
 ClosureTypei1r1 anony8964;
 TypeFreeVars env = free_vars;
 
 anony8964.env = env;
 anony8964.thunk = *thunkanony8964;
 

執行函數

 lambda(x){body}(n);

改為

 anony9864.thunk(n, anony8964.env);

如何代碼刪除不須存在的變數或函數？

• 通常來說，下列兩個條件均滿足下，只要變（函）數不出現在作用域的任何獨立表達式（須化簡）和定義式的右手邊（須化簡），則可以刪掉：
  1. 不可變
  2. 不為外部引用