【主要型式】
<P align=center><STRONG><FONT size=5>【<FONT color=red>主要型式</FONT>】</FONT></STRONG></P> <P><STRONG>英語翻譯：principaltype</STRONG></P><P><STRONG></STRONG> </P>
<P><STRONG>【辭書名稱】資訊與通信術語辭典</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>一種敘述的最通用型式，例如下列是用於λ抽象化（lambdaabstraction）的所有有效型式：int→intBool→Bool(a→b)→(a→b)但任意有效型式為主要型式：a→a的一個實例。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>一個實例係對一些型式變數的所有出現由代入相同型式敘述而導出。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>一敘述的主要型式可由魯賓遜的統一演算法（Robinson'sunificationalgorithm）算出。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG></STRONG> </P>轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
頁:
[1]