「關於編譯器的一些想法」修訂間的差異

於 2022年2月18日 (五) 06:09 的修訂

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. 不為外部引用