go top

dependent type

  • 连结式

英英释义

Dependent type

  • abstract: In computer science and logic, a dependent type is a type that depends on a value. It is an overlapping of feature of math-encoding type theory and bug-stopping type systems.

以上来源于: WordNet

双语例句原声例句权威例句

  • As a historical category, personality has experienced three stages: dependent type, independent type and free type.

    人格一个历史范畴,它的演变历程可分为依附型、独立性自由三个阶段

    youdao

  • If you are the publisher, you must generate a primary interop assembly for the dependent type library before generating the referencing primary interop assembly.

    如果发行者必须相关类型生成一个操作程序才能生成引用这些类型库的主互操作程序集。

    youdao

  • System generated routines created as part of the create type (structured) transfer the ownership to the new owner of the type if a transfer of ownership of the dependent type is performed.

    如果执行依赖类型所有权转移,那么系统生成创建为 create 类型(结构化一部分例程会将所有权转移给类型的所有者

    youdao

更多双语例句
  • Now there are two types of diabetes, as you may know, there's Type I Diabetes which is a genetic abnormality that usually shows up in childhood or adolescents where people are dependent on insulin.

    你们可能知道,糖尿病有两种类型,Ⅰ型糖尿病是由基因异常引起的,在儿童和青少年中较为多见,患这种病需要长期依赖胰岛素

    耶鲁公开课 - 关于食物的心理学、生物学和政治学课程节选

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

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

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