關於編譯器的一些想法

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

迴圈

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);
```