2,617
次編輯
「玩具語言的型別推理原則」修訂間的差異
跳至導覽
跳至搜尋
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 11： | 行 11： | ||
letrec: 如果 foo 的輸入型別 x<sub>i</sub>滿足要求，就假設宣告的 foo 型別 (X<sub>0</sub>,...,X<sub>n</sub>)→Y 屬性存在。再帶入到函數內部，最後檢查 return 的型別是不是 Y。 | letrec: 如果 foo 的輸入型別 x<sub>i</sub>滿足要求，就假設宣告的 foo 型別 (X<sub>0</sub>,...,X<sub>n</sub>)→Y 屬性存在。再帶入到函數內部，最後檢查 return 的型別是不是 Y。 | ||
[[category:資訊]] | |||