【型式推理】
<P align=center><STRONG><FONT size=5>【<FONT color=red>型式推理</FONT>】</FONT></STRONG></P> <P><STRONG>英語翻譯：typeinference</STRONG></P><P><STRONG></STRONG> </P>
<P><STRONG>【辭書名稱】資訊與通信術語辭典</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>根據程式語言中的常數型式及特定推理規則所得出將型式歸因於某些陳式的演算法。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>如下式：f::A→B，x::A…（App），fx::B。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>可解釋為：若陳式f表型式A→B，且陳式x之型式為A，則陳式fx之型式即為B。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG></STRONG> </P>轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
頁:
[1]