| 词汇 | strictness |
| 释义 | strictness noun[ U ] uk /ˈstrɪkt.nəs/ us /ˈstrɪkt.nəs/ the ability of something to limit someone's freedom very much: 严格，严厉 the increased strictness of the immigration rules移民法规的日趋严格 Severe an iron hand/fist in a velvet gloveidiom austere austerely authoritarian be heavy on someoneidiom brutally flaming flinty harsh harshness non-authoritarian nonsense not stand any nonsenseidiom severe severely severity sharply sharpness stern sternly Examples of strictnessstrictness Although it is rarely clearly stated, we implicitly have a predicate whose result tells us when an abstract value permits strictness optimisations. Using partial projections we will introduce strictness behaviour, and propagate it through the program by the projection analysis. In particular, strictness annotations that may accompany the declaration of a data constructor are not apparent in the concrete syntax of a constructor application. We provide an abstract semantics based on partial projections which defines a strictness analysis. Below we present results obtained by the strictness analysis defined above. In previous formulations of projection strictness analysis, the two forms of demand were confused (literally) by the lifting trick. The strictness premise is necessary because # is strict in its first argument. This is contrary to most strictness analysers, where the strictness property of an expression has to be computed anew whenever one of its subexpressions changes. The strictness annotations on the arguments in these functions can also be derived by a strictness analyser. Again, the presence of lifting in strictness analysis meant that the two analyses were hard to compare formally. Corollaries 3.33 and 3.34 claim that strictness information is correctly detected on a custom-tailored input. A non-compositional approach will need to export the code of the function in order to perform strictness analysis in places where the function is used. Generally, it is very complicated or even not possible at all to derive such strictness by some kind of static analysis. In subsection 2.1 we use the notion of contextual equivalence to define strictness of functions. Given that the intended readership was primarily non-specialist, strictness of terminology may not have been a crucial concern. These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
| 随便看 |
|
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。