【type_constructor】什么意思_英语type_constructor的翻译_音标_读音_用法_例句_在线翻译

Type constructor

类型构造器

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

基于32个网页-相关网页

类型构造函数

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

基于12个网页-相关网页

类构造器

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

基于1个网页-相关网页

短语

constructor and type 建构函数和类型

更多收起网络短语

abstract: 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.

以上来源于: WordNet

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

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

youdao
You'll need to evaluate the tradeoffs in using an explicit type constructor.

您在使用显式类型构造函数时需要进行权衡。

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

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

youdao

更多双语例句

应用推荐

$firstVoiceSent

- 来自原声例句