我爱Lisp,但是Lisp当然,是属于在类型检查比较弱的语言一类。
I love Lisp, but Lisp is certainly in the category of a very weakly typed language.
实际上,在类型检查的下面,不同的语言会对应着,从弱到强的一个定型范围。
And in fact, under type checking, different languages sometimes fall on a spectrum from weak to strong typing.
在接待员收集到客房查询信息后,下一步往往是检查所需类型的房间是否可入住。
After the receptionist gathers room-query data, the next step is always to check the availability of the required type of room.
处理器在提交数据进行处理之前检查数据类型和约束。
The processor checks data types and constraints before the data is submitted for processing.
验证就是检查实例文档是否满足在XML模式中指定的结构、数据类型和内容限制的过程。
Validation is a process of checking whether the instance document satisfies structural, data type, and content constraints specified in the XML schema.
在组装时就需要进行选择,是覆盖常用类型检查,还是在不同类型的属性和行为之间创建连接。
You now have the choice, at assembly time, to override the usual type checking and create a wire between a property and an action of different types.
此外,任何时候都要检查生成的XML模式,以验证转换是准确的,尤其是在使用了新类型时更要如此。
Also, always check the XML schema generated to validate that the conversion was accurate, particularly if new types are used.
虽然该组件在很大程度上被LotusNotes8.0.2中忽略强类型检查的功能取代,但是如果需要支持较早版本的Lotus Notes,那么这个组件比较方便。
Although largely superseded by the ability in Lotus Notes 8.0.2 to ignore strong type checking, it can be handy if you need to support earlier versions of Lotus Notes.
在Firefox装载页面时,您可以检查Firefox将哪种MIME类型与这个页面关联起来。
You can always check the MIME type that Firefox associates with a page once it loads the page.
在DefineRelationships屏幕,检查数据类型之间的关系。
In the Define relationships screen, check the relationships between data types.
在客户机和服务器(和KDC)上检查支持的Kerberos加密类型列表。
Check the list of supported Kerberos encryption types on client and server (and KDC).
这种设计的缺点显而易见:add()不检查所提供对象的类型,所以exportAll()在轻快地调用export() 时冒了致命的风险。
This design's weakness should be apparent: add() doesn't check the type of the provided object, and so exportAll() takes a grave risk in so blithely calling export().
在调用方法中第一次遇到Dictionary对象时,可以在使用它之前检查它的类型。
The first time you encounter a Dictionary object in a calling method, you can check its type before working with it.
例如,在Jam中,禁止程序员将this作为参数传递给方法;无法对这样的调用进行类型检查。
For example, in Jam, the programmer is not allowed to pass this as an argument to a method; there is no way to type check such calls.
要检查是否有缓存策略文件,在左边导航栏单击CachePolicies链接,您将看到,这里有一个带Web服务类型的策略模板(图21)。
To check whether or not there is any cache policy files, click cache Policies link in the left navigation, you can see, there is one policy template with web service type (Figure 21).
为了避免为一个类型创建多个断言,每个断言规则都要检查是否在工作存储器中存在一个评估事实(图18)。
To avoid multiple assessments of the same type being created, each of these assessment rules checks the working memory for the existence of an assessment fact (Figure 18).
这个简单迁移意味着在接待员收集到客房查询信息后,下一步往往是检查所需类型的房间是否可入住。
This simple transition means that after the receptionist gathers room-query data, the next step is always to check the availability of the required type of room.
它的主要目标是从xsd文件中生成兼容LINQ的对象模型,让开发人员在访问XML数据的时候可以进行一定的静态类型检查。
Its primary purpose is to produce LINQ-compatible object models from XSD files, giving developers some measure of static type checking while accessing XML data.
以上例子在类型为XML的info列上创建了一个检查限制。
The above example creates a check constraint on the column INFO which is of type XML.
确认过程根据文档类型定义(DTD)来检查XML, DTD可以是XML的一部分,也可以在它的外部。
The process of validation checks the XML against a Document Type Definition (DTD), which may be part of the XML or external to it.
所有Reference类型在加入队列之前被清除,所以处理事后检查(post - mortem)清除的线程永远不会具有referent对象的访问权,而只具有Reference对象的访问权。
All Reference types are cleared before they are enqueued, so the thread handling the post-mortem cleanup never has access to the referent object, only the Reference object.
虽然 instanceof功能提供了一种检查类型的好方法,但您还可以通过在参数列表中使用类型提示,来将对象类型检查滚动到方法签名自身中。
The instanceof function provides a good way of checking type, but you can also roll object type checking into the method signature itself by using type hints in the argument list.
在某些情况下,在做类型转换之前用instance of进行检查是有意义的。
In some cases, it may be sensible to use an instanceof check prior to doing a class cast.
通过在VerboseEditor中实现适当的方法,可以容易地增加对报告强制类型转换、instance of检查和catch块的支持。
I could easily add support for reporting casts, instanceof tests, and catch blocks by implementing the appropriate methods in VerboseEditor.
在我们的例子中,validatepattern标签会检查year字段是一个数字类型,有4个字符长。
In our example, the validatepattern tag checks that the year field is numeric and is four characters long.
在检查模式(飞镖的其他运行时)编译器慢是因为它要检查静态类型。
In checked mode (Dart's other runtime) the compiler is slower because it is going to check the static types.
在基于语言考虑代码安全性的工作中,往往需要将高级语言程序翻译成类型化低级语言的程序进行类型检查。
In the area of language -based security, programs written in typed high-level languages need to be translated into those written in typed low-level languages.
无论进行何种类型的检查只要需在平台周围工作那么最好确保其处于空载状态。
No matter what type of inspection as long as the need to work around the platform so that it is best to ensure that it is in no state.
针对不同的裂缝类型,提出检查、观测以及修补必要性的判断方法,并介绍了在日常养护中常用的维修方法。
Different methods of check, observation and repair necessity are given according to different cracks. The common maintenance methods are introduced.
针对不同的裂缝类型,提出检查、观测以及修补必要性的判断方法,并介绍了在日常养护中常用的维修方法。
Different methods of check, observation and repair necessity are given according to different cracks. The common maintenance methods are introduced.
应用推荐