go top

principal type

  • 主体类型:在类型理论中,主体类型是指对于任意的类型环境和表达式,如果类型环境能够推导出表达式的类型为主体类型,则该类型被称为主体类型。

网络释义英英释义

  主要类型

... mapping 映射 principal type 主要类型 polymorphic 多态 ...

基于6个网页-相关网页

短语

operator of non-principal type 非主型算子

non-principal type 非主型

principal type of word 主体工种

operator of principal type 主型算子

operators of principal type 主型算子

principal node type 首要结点类型 ; 首要节点类型

type-R principal component analysis R型主成分分析

stein-type principal components adjusted estimate stein型主成分改进估计

guyed-type principal 拉线式原理

 更多收起网络短语

Principal type

  • abstract: In type theory, a type system is said to have the principal type property if, given a term and an environment, there exists a principal type for this term in this environment, i.e.

以上来源于: WordNet

双语例句权威例句

  • Alkali was the principal type of burns among minors (61.1%).

    未成年人中烧伤首要致伤类型(61.1%)。

    youdao

  • Resource_based cities are one principal type of the cities in China.

    资源型城市我国城市中重要类型之一。

    youdao

  • The undergraduate Cultivating model of "One Principal Type plus Three Secondary Types" with capability as the main line, is a new idea which is brought forward during Dahongying College'exploration.

    能力主线、“辅”人才培养模式宁波大红鹰学院在应用型本科人才培养过程提出思路

    youdao

更多双语例句
更多权威例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定