關於編譯器的一些想法

迴圈

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

關聯條目