【主要型式】

豐碩

【主要型式】

 

英語翻譯：principaltype

 

【辭書名稱】資訊與通信術語辭典

 

一種敘述的最通用型式，例如下列是用於λ抽象化（lambdaabstraction）的所有有效型式：int→intBool→Bool(a→b)→(a→b)但任意有效型式為主要型式：a→a的一個實例。

 

一個實例係對一些型式變數的所有出現由代入相同型式敘述而導出。

 

一敘述的主要型式可由魯賓遜的統一演算法（Robinson'sunificationalgorithm）算出。

 

 

轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary