2,619
次編輯
「Essentials of Compilation筆記」修訂間的差異
跳至導覽
跳至搜尋
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 61： | 行 61： | ||
* int 為在此區間的整數：[-2^62, 2^62-1]，可以表示2^63個整數 | * int 為在此區間的整數：[-2^62, 2^62-1]，可以表示2^63個整數 | ||
* info 以後會用到，現在不用管 | * info 以後會用到，現在不用管 | ||
==Ch2== | |||
*L_var 要漸次變成 x86語言 | |||
*L_var 擴展 L_int，就是加上Let綁定 | |||
*加上規則 | |||
exp :== Name(var) | |||
stmt :==(let(var, exp)) | |||
L_var = Module (stmt*) | |||
*註：要由少漸多的設計 | |||
*要有open recusrion | |||
*就是要用子型別Lvar繼承Lint，然後必要的時候呼叫super.interp()，其餘時候調用interp() | |||
==第三章== | ==第三章== | ||