go top

您要找的是不是:

the construction

type constructor 添加释义

网络释义英英释义

  类型构造器

类型构造器(Type Constructor):设置类型初始化状态的初始化方法

基于32个网页-相关网页

  类型构造函数

lcc实现了类型表示和一组该表示之上的函数, 包括创建类型的类型构造函数type constructor)、测试类型的类型断言函数(type predicate)以及类型检查(type checking)确保声明和表达式遵守语言制定的规则。

基于12个网页-相关网页

  类构造器

... 类构造器 type constructor 值构造器 value constructor 类型别名 type synonym ...

基于1个网页-相关网页

短语

new type constructor 新型构造器 ; 翻译

Type constructor inference 类型构建器推断

config-type constructor 配置类型构造器

constructor and type 建构函数和类型

 更多收起网络短语

Type constructor

  • In the area of mathematical logic and computer science known as type theory, a type constructor is a feature of a typed formal language that builds new types from old. Typical type constructors encountered are product types, function types, power types and list types.

以上来源于: Wikipedia

双语例句

  • The runtime does not give a type constructor a second chance.

    运行库不会类型构造函数第二机会

    www.cnblogs.com

  • A runtime thread must acquire this lock before invoking the type constructor.

    运行库线程必须调用类型构造函数之前获得

    blog.sina.com.cn

  • The second scenario is when a type has a initializer for a static field, in which case the compiler adds a type constructor behind the scenes.

    第二情况类型具有用于静态字段初始值设定项这种情况编译器在后台添加类型构造函数

    blog.sina.com.cn

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

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

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