So lambda expressions bring with them another friend - expanded type inference through target typing.
所以,lambda表达式带来了另一个相关功能,即通过目标类型化(target typing)实现的扩展类型推断。
The alias is expanded from what you type to its expansion.
别名从您键入的内容展开为其展开形式。
In other words, if the set of possible values of the new type is a superset of that of the old type, then you have expanded the type.
换一种说法,如果新类型的可能值是旧类型的超集,那么您就已经对类型进行了扩展。
Subsequent mediation primitives, downstream of the Set Message Type primitive, use this concrete information to display the expanded information to the user to specify appropriate XPath expressions.
位于SetMessageType原语下游的后续中介原语使用这个具体的信息来向用户显示扩展信息,以指定恰当的XPath 表达式。
However, the request can be expanded to cover any type of request for work.
然而,请求可以扩展并覆盖到工作中任何一个请求的类型。
The 2.6 kernel has also expanded the limitation of the major number from 255 to 4095 and has allowed more than one million subdevices per type.
内核还将主识别号的限制从 255 增加到 4095,并且允许每种类型可以有多于 100 万个子设备。
That content is delivered in a "news feed" type interface that looks a little like Facebook or Twitter, but where message headlines can be expanded with a click for reading and viewing multimedia.
该内容以类似于Facebook和Twitter的newsfeed形式提供,但消息标题可通过点击来阅读完整内容并浏览多媒体。
The expanded surface area means X1 users "can be less accurate" when they type, says Hill.
希尔表示,键体表面积的扩大意味着X1用户在打字时“可以不用很准确”。
Methods for calculating expanded size of punched hole and compression punching type are introduced.
简述抽孔、压缩抽型的展开时几种情况下的计算方法。
Later in the contract, when calendar dates can be put against the start and completion of construction, the type plan is expanded or contracted and becomes calendar based.
在稍后的合同,当可对日历的日期开始和完成建设投入,该类型的计划是扩大或收缩,并成为日历基础。
This consumer growth has happened as the demand for BlackBerry-type devices has expanded beyond corporate users.
就在个人业务快速增长的同时,市场对黑莓这类通讯设备的需求也在企业用户之外有了新的扩展。
According to the complicated mine environment when a mine disaster occurred, a class expansion type rapid expanded random tree (CERRT) algorithm for the mine rescue robot was provided.
针对煤矿灾害发生后复杂的矿井环境,提出一种用于救援机器人的分级扩展式快速扩展随机树(CERRT)算法。
Piles with branches and plates expanded, derived from common concrete bored piles, are ones of a new type, which, not yet fully-fledged, have been developing with study forward.
支盘桩是在普通混凝土灌注桩的基础上衍生出来的一种新型桩型,具有显著的经济效益和社会效益。
In order to express and process mixed-type incomplete information in relational database, a - simplified expanded relational model is given.
为了能够表示和处理关系数据库中这种混合类不完全信息,文中最后给出了一种简化的扩展关系模型。
The property values, item type values, and metadata values are set to the expanded expressions.
属性值、项类型值和元数据值设置为扩展的表达式。
A new type of flame retardant for felt was synthesized using red phosphorus, expanded graphite, chelating agent and accelerating agent.
新型毛毡阻燃剂以红磷为基础,配以膨胀石墨、螯合剂、促进剂合成。
A new type of asphalt mixture was prepared with high strength expanded shale and was applied successfully to pavement.
采用高强页岩陶粒制备了一种轻质、抗滑、降噪的新型沥青混合料,并将这种沥青混合料成功应用于路面工程。
The type and gravity of up-going crime have nothing to do with the establishment of money laundering. Based on the nature orientation, the up-going crime of money laundering should be expanded to al…
上游犯罪的种类及其严重性与洗钱罪的成立无关,从立法者对洗钱罪的性质定位出发,洗钱罪的上游犯罪应当扩展至一切犯罪。
The bearing capacity of the expanded base pile and the construction efficiency are high with lower cost and less pollution. This type of pile can be used widely in Shanghai for high-rise buildings.
文章认为,夯扩桩承载力较高,成本低、工效高、污染小,是一种可用于上海地区多层建筑基础的桩型。
The bearing capacity of the expanded base pile and the construction efficiency are high with lower cost and less pollution. This type of pile can be used widely in Shanghai for high-rise buildings.
文章认为,夯扩桩承载力较高,成本低、工效高、污染小,是一种可用于上海地区多层建筑基础的桩型。
应用推荐