跳到主要內容
:::

教育百科logo

::: 主要型式 - 教育百科
國家教育研究院辭書
基本資料
英文: principal type
日期: 2003年6月
出處: 資訊與通信術語辭典
辭書內容
名詞解釋:
一種敘述的最通用型式,例如下列是用於λ抽象化(lambda abstraction)的所有有效型式:int→int Bool→Bool (a→b)→(a→b)但任意有效型式為主要型式:a→a的一個實例。一個實例係對一些型式變數的所有出現由代入相同型式敘述而導出。一敘述的主要型式可由魯賓遜的統一演算法(Robinson`s unification algorithm)算出。
資料來源: 國家教育研究院_主要型式
授權資訊: 資料採「 創用CC-姓名標示- 禁止改作 臺灣3.0版授權條款」釋出
貓頭鷹博士
你喜歡貓頭鷹博士嗎

針對貓頭鷹博士的服務你會給幾顆星呢

回到頁面頂端圖示