【主要型式】
英語翻譯：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
| 歡迎光臨 【五術堪輿學苑】 (http://124.156.177.65/) | Powered by Discuz! X3.1 |