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
可以轉換成
迴圈如何變成尾遞迴
![{\displaystyle {\begin{aligned}&while(condFunction(x~[,y,...]))\{\\&bodyExp_{1}[,bodyExp_{2},...]\\&\}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f31e60719b96645993c5f3c890aff4a0302f3cb)
其中 $bodyExp_n$ 可以為下列之一：
![{\displaystyle oldVar_{j}:=f(calledVar_{1},[calledVar_{2},...])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2862996a4b5d9ce6f4e40a94d8563fde8be5e44)
![{\displaystyle newVar_{j}=f(calledVar_{1},[calledVar_{2},...])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb02a565084e22438e91d8a1dd405e00de8f54a0)
當然還有部分調用、全部調用
可以分析 
有哪些？
有哪些？
設
，
則
while 迴圈就可以變成新的遞迴函數 
，如下：
(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);