go top

型推论

网络释义

  type inference

编译器的主要任务之一是数据类型信息的计算和维护 (类型推论 (type inference))以及使用这 些信息确保程序的每一部分在语言的类型规则作用下有意义 (类型检查 (type checking))。

基于44个网页-相关网页

短语

类型推论 type inference

模糊推论模型 Fuzzy reasoning model

有道翻译

型推论

Type inference

以上为机器翻译结果,长、整句建议使用 人工翻译

双语例句

  • 总体原则一个推论就是服务应为有状态的。

    One corollary of this general principle is that services should not be stateful.

    youdao

  • 给出加权三角形不等式简单推论,由之简捷地推导出一些新的涉及三角形内部一点元二次不等式

    This paper presents a simple deduction of an inequality for heavy weighted triangles, and with it some new quadratic inequalities of three variants at any point within a triangle.

    youdao

  • 本文论述了离散随机变量次序统计量的分布及其有关推论

    In this paper, we study the distribution law of order statistic of discrete type random variable.

    youdao

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

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

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