2,761
次編輯
「關於編譯器的一些想法」修訂間的差異
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| （未顯示同一使用者於中間所作的 9 次修訂） | |||
| 行 1： | 行 1： | ||
{{Nav|程式語言、邏輯學}} | {{Nav|程式語言、邏輯學}} | ||
==coding:style== | |||
<pre> | |||
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; | |||
} | |||
}; | |||
</pre> | |||
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 | |||
==迴圈== | ==迴圈== | ||
| 行 8： | 行 33： | ||
<math> | <math> | ||
\begin{align} | \begin{align} | ||
& for(idVar = initValue;~~cond(idVar); ~~idVar:=updateIdVar(i))\{ \\ | & for(idVar = initValue;~~cond(idVar); ~~idVar:=updateIdVar(i))\{ \\ | ||
& body... \\ | & body... \\ | ||
\} | \} | ||
\end{align}</math> | \end{align}</math> | ||
| 行 79： | 行 97： | ||
==對字串的思考== | ==對字串的思考== | ||
字串是什麼？ →其實可以表示為很大的數字。 | |||
所以，要用鏈表表示也是可行的。 | |||
==閉包== | |||
<pre> | |||
(x)=>{foo(x, free_vars)} | (x)=>{foo(x, free_vars)} | ||
</pre> | |||
轉換 | |||
<pre> | |||
ThunkAnony8964 thunkanony8964(TypeOfX x ,TypeFreeVars env){ | |||
foo(x, env[free_vars]); | foo(x, env[free_vars]); | ||
} | } | ||
| 行 100： | 行 116： | ||
struct ClosureTypei1r1 { | struct ClosureTypei1r1 { | ||
TypeFreeVars env, # 可以用鏈表 | TypeFreeVars env, # 可以用鏈表 | ||
* | *ThunkAnony8964 thunk, | ||
}; | }; | ||
ClosureTypei1r1 | ClosureTypei1r1 anony8964; | ||
TypeFreeVars env = free_vars; | TypeFreeVars env = free_vars; | ||
anony8964.env = env; | |||
anony8964.thunk = *thunkanony8964; | |||
</pre> | |||
執行函數 | |||
<pre> | |||
lambda(x){body}(n); | lambda(x){body}(n); | ||
</pre> | |||
改為 | 改為 | ||
<pre> | |||
anony9864.thunk(n, anony8964.env); | |||
</pre> | |||
== 如何代碼刪除不須存在的變數或函數？ == | |||
* 通常來說，下列兩個條件均滿足下，只要變（函）數不出現在作用域的任何獨立表達式（須化簡）和定義式的右手邊（須化簡），則可以刪掉： | |||
*# 不可變 | |||
*# 不為外部引用 | |||
[[category:資訊]] | [[category:資訊]] | ||