The canonical example of dependent types is that of an array type parameterized by the size of the array.
从属类型的标准实例是数组大小参数化的数组。
As a historical category, personality has experienced three stages: dependent type, independent type and free type.
人格是一个历史范畴,它的演变历程可分为依附型、独立性、自由型三个阶段。
If you are the publisher, you must generate a primary interop assembly for the dependent type library before generating the referencing primary interop assembly.
如果您是发行者,必须先为相关类型库生成一个主互操作程序集,才能生成引用这些类型库的主互操作程序集。
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 类型(结构化的)一部分的例程会将所有权转移给该类型的新所有者。
Determine whether the type is context dependent.
确定该类型是否依赖上下文。
If an EJB is local, a vendor can use the same type of optimizations that would have been possible for dependent objects, but without changing the underlying programming model.
如果EJB是本地的,那么供应商可以使用已经能够用于依赖对象的相同类型的优化,而无须改变底层编程模型。
Your schema might be missing the information that a dependent package has been applied to a specific record type.
您的方案可能丢失了关于应用于特定记录类型依赖包的信息。
The package path of these element and attribute classes is dependent on the namespace of the XML node, whose naming is composed by use of the namespace, local name, and node type (see listing 2).
这些元素和属性类的包路径依赖于xml节点的名称空间,其名称由名称空间、本地名称和节点类型组成(见清单2)。
The type of model you choose to use is largely dependent on the complexity of the decision.
模型的选择取决于你要做的决定的复杂程度。
For instance, if I type rake deploy, rake would call the dependent tasks I've set up, such as compilation, running tests, and so on.
例如,如果输入rakedeploy, rake将调用之前设置的依赖任务,例如编译,运行测试等等。
Type 1 diabetes (sometimes called insulin-dependent, juvenile or childhood-onset diabetes) occurs when the pancreas does not produce enough insulin, a hormone that regulates blood sugar.
一型糖尿病(有时称为胰岛素依赖型,青少年或儿童期发病型糖尿病)在胰腺无法分泌足够调节血糖的激素—胰岛素的时候发作。
Type 1 diabetes (previously known as insulin-dependent, juvenile or childhood-onset) is characterized by deficient insulin production and requires daily administration of insulin.
一型糖尿病(过去称为胰岛素依赖型,青少年或儿童期发病型糖尿病)的特征是缺乏胰岛素分泌能力,需要每天注射胰岛素。
In XPath 2.0 (and dependent XSLT 2.0 and XQuery 1.0), you can now search by type in your queries.
而在XPath 2.0(以及相关的XSLT 2.0和XQurey 1.0中),你可以在查询中根据类型搜索。
The abstract definition of a business function, describable via a port type in WSDL, is not dependent on the protocol used.
业务功能的抽象定义(可以通过一个WSDL中的端口类型来描述)并不依赖所使用的协议。
If you sell through distribution channels also, the number and type of sales forces can vary tremendously and your success as a marketer is highly dependent on their success.
如果你也通过分销渠道销售,销售团队的数量和类型可能很不同,而你作为一个市场人员的成功很大程度上取决于他们的成功。
From this illustration, it is clear that the readiness of an organization to apply and to use portfolio management practices is dependent upon the type and degree of basic capabilities it possesses.
在此例子中,很明显的是组织应用并使用项目组合管理实践的准备依赖于其拥有的基础能力的类型和程度。
More complex type libraries can use this method to make types dependent on context and various parameters, such as base URIs and namespace prefixes in scope.
更复杂的类型库可以使用该方法建立依赖于上下文和不同参数的数据类型,如作用域中的基准URI和名称空间前缀。
This caused problems when 64-bit applications tried to consume these platform dependent data types and the caller's data type did not match that of the callee's.
这就导致,当64位的应用程序试图使用这些与平台相关的数据类型时,调用程序的数据类型又无法与被调用方法匹配,从而就会产生问题。
Seek time typically averages a few milliseconds and is dependent upon the drive type.
寻道时间平均值一般为几毫秒,并且它取决于驱动器类型。
Drivers of this type are generally dependent on a native library, which limits their portability.
这类驱动程序通常依赖本机库,这限制了其可移植性。
The system default is dependent on the column type.
系统默认值取决于列的类型。
It is dependent on the temperature differential between the inside and outside air, type and thickness of insulation, and the area of the conducting surfaces.
这个主要取决于内外空气的温度差、绝缘层的类型和厚度以及传导面的面积。
In China, the age-adjusted prevalence of disability has declined since 1987, with inconsistencies dependent on the type of disability.
1987年以来中国的年龄调整残疾患病率总体已经下降,然而因残疾类别不同得出的结果也不一致。
AutoIt scripts are easy to write, but are dependent on the browser type and version as window title and window control class vary in different browsers and editions.
AutoIt脚本很容易编写,但是依赖于浏览器类型和版本,因为不同的浏览器和版本中,窗口标题和窗口控件类是不相同的。
Add the attribute sureness factor to the type expectation and other dependent requirements.
将属性确信因子添加到类型期望和其他相关的需求上。
Additional trace information is dependent on the event type.
附加的跟踪信息取决于事件类型。
The virtio_driver structure defines the upper-level device driver, list of device IDs that the driver supports, a features table (dependent upon the device type), and a list of callback functions.
virtio_driver结构定义上层设备驱动程序、驱动程序支持的设备ID的列表、一个特性表单(取决于设备类型)和一个回调函数列表。
This type of data acquisition system is software dependent, and the number of channels is limited by the space available in the computer.
这种类型的数据采集系统是依赖于软件的,通道的数量受计算机中可用空间的限制。
This type of data acquisition system is software dependent, and the number of channels is limited by the space available in the computer.
这种类型的数据采集系统是依赖于软件的,通道的数量受计算机中可用空间的限制。
应用推荐