檢視關於編譯器的一些想法的原始碼

{{Nav|程式語言、邏輯學}}

==迴圈==

===for 到 while===



<math>
\begin{align}
& for(idVar = initValue;~~cond(idVar); ~~idVar:=updateIdVar(i))\{ \\
& body... \\
\}	
\end{align}</math>

可以轉換成

<math>
\begin{align}
& idVar = initValue \\

& while(cond(i))\{\  \\

& body... \\

& idVar:=updateIdVar(i) \\

& \}\end{align}
</math>


===迴圈如何變成尾遞迴===

<math>

\begin{align}
& while(condFunction(x~[,y,...]))\{\\
& bodyExp_1[, bodyExp_2,...]\\
& \}\\
\end{align}
</math>

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

* <math>oldVar_j := f(calledVar_1, [calledVar_2,...])</math>
* <math>newVar_j = f(calledVar_1, [calledVar_2,...])</math>
* <math>f(expression_i)</math> 當然還有部分調用、全部調用
* <math>isolatedVar</math>
* <math>consonant</math>

可以分析 <math>oldVar_j</math> 有哪些？<math>newVar_j</math>有哪些？

設<math>oldVarSet = \{oldVar_i|i = 1,2,...,n\}</math>，<math>calledVarSet = \{calledVar_i|i = 1,2,...,n\}</math> 則

<math>iteratedVarSet = oldVarSet\cap calledVarSet</math>

while 迴圈就可以變成新的遞迴函數 <math>recFunc</math>，如下：

<math>

\begin{align}

& recFunc(all~x~from~iteratedVarSet)\{ \\
& if(condFunction)\{ \\
& newBodyExp_i \\
& return~~recFunc(...) \\
& \} \\
& \}
\end{align}
</math>

==對字串的思考==

 字串是什麼？ →其實可以表示為很大的數字。
 
 所以，要用鏈表表示也是可行的。
 
 
===閉包===
 
 ```
 (x)=>{foo(x, free_vars)}
 ```
 
 轉換
 
 ```
 
 ThunkAnnoy8964 thunkannoy8964(TypeOfX x ,TypeFreeVars  env){
foo(x, env[free_vars]);
 }
 
 struct ClosureTypei1r1 {
 TypeFreeVars env, # 可以用鏈表
 *ThunkAnnoy8964 thunk,
 };
 
 ClosureTypei1r1 annoy8964;
 TypeFreeVars env = free_vars;
 
 annoy8964.env = env;
 annoy8964.thunk = *thunkannoy8964;
 
 ```
 
 調用

```
 lambda(x){body}(n);
```
改為
 ```
 annoy9864.thunk(n, annoy8964.env);
 ```

[[category:資訊]]