go top

dependent type

  • 连结式

网络释义英英释义

  依存型

依存型

基于1个网页-相关网页

短语

Dependent type 依赖类型

nested dependent type name 嵌套依赖类型名 ; 内嵌依赖类型名

Path-dependent type 路径相依型态

nested dependent type names 嵌套依赖类型名

hormone-dependent type 激素依赖型

antibody dependent type 抗体依赖型

cell dependent type 细胞依赖型

Field-dependent Type & Field-independent Type 场依赖型与场独立型

estrogen-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

双语例句权威例句

  • Determine whether the type is context dependent.

    确定类型是否依赖上下文

    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

  • Seek time typically averages a few milliseconds and is dependent upon the drive type.

    寻道时间平均值一般为毫秒并且取决于驱动器类型。

    youdao

更多双语例句
  • Upwards of 1 million persons in the U.S. have type 1 diabetes, also known as insulin-dependent or juvenile-onset diabetes.

    FORBES: Eye On The Prize

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

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

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