一、靜態類型程式語言需使用某種類型等價（type equivalence）方法以決定類型是否可匹配（compatible），最常見的是名稱等價和結構等價，請說明這兩種方法。考慮下列程式碼（X : T
問題詳情
一、靜態類型程式語言需使用某種類型等價（type equivalence）方法以決定類型是否可 匹配（compatible），最常見的是名稱等價和結構等價，請說明這兩種方法。考慮 下列程式碼（X : T 表示變數 X 之類型為 T），在這兩種類型等價方法下，請分別 說明其中那些變數的類型為可匹配。（20 分） type T = array [1..10] of float X : T Y : T Z : array [1..10] of integer