2,619
次編輯
「型別理論與形式證明筆記」修訂間的差異
無編輯摘要
Tankianting（討論 | 貢獻） （建立內容為「{{Nav|程式語言、邏輯學}} = 第2章：簡單型別lambda運算(simple typed lambda calculus) = == 2.2 simple type 簡單型別 === 型別變數 type va…」的新頁面） |
Tankianting（討論 | 貢獻） |
||
| 行 14： | 行 14： | ||
箭頭<math display="inline">\rightarrow</math>是右結合的，和函數的apply代入不同。比較<math display="inline">\alpha \rightarrow \beta \rightarrow \gamma = \left( \alpha \rightarrow (\beta \rightarrow \gamma) \right)</math>和<math display="inline">x_{1}x_{2}x_{3} = \left( \left( x_{1}x_{2} \right)x_{3} \right)</math>。 | 箭頭<math display="inline">\rightarrow</math>是右結合的，和函數的apply代入不同。比較<math display="inline">\alpha \rightarrow \beta \rightarrow \gamma = \left( \alpha \rightarrow (\beta \rightarrow \gamma) \right)</math>和<math display="inline">x_{1}x_{2}x_{3} = \left( \left( x_{1}x_{2} \right)x_{3} \right)</math>。 | ||
[[category:資訊]] | |||