| 单词 | strictness |
| 释义 | strictness noun[U] uk/ˈstrɪkt.nəs/us/ˈstrɪkt.nəs/theabilityof something tolimitsomeone'sfreedomvery much: 严格，严厉theincreasedstrictness of theimmigrationrules移民法规的日趋严格 Severe
Examplesofstrictnessstrictness Although it is rarely clearly stated, we implicitly have a predicate whose result tells us when an abstract value permitsstrictnessoptimisations. From theCambridge English Corpus Using partial projections we will introducestrictnessbehaviour, and propagate it through the program by the projection analysis. From theCambridge English Corpus In particular,strictnessannotations that may accompany the declaration of a data constructor are not apparent in the concrete syntax of a constructor application. From theCambridge English Corpus We provide an abstract semantics based on partial projections which defines astrictnessanalysis. From theCambridge English Corpus Below we present results obtained by thestrictnessanalysis defined above. From theCambridge English Corpus In previous formulations of projectionstrictnessanalysis, the two forms of demand were confused (literally) by the lifting trick. From theCambridge English Corpus Thestrictnesspremise is necessary because # is strict in its first argument. From theCambridge English Corpus This is contrary to moststrictnessanalysers, where thestrictnessproperty of an expression has to be computed anew whenever one of its subexpressions changes. From theCambridge English Corpus Thestrictnessannotations on the arguments in these functions can also be derived by astrictnessanalyser. From theCambridge English Corpus Again, the presence of lifting instrictnessanalysis meant that the two analyses were hard to compare formally. From theCambridge English Corpus Corollaries 3.33 and 3.34 claim thatstrictnessinformation is correctly detected on a custom-tailored input. From theCambridge English Corpus A non-compositional approach will need to export the code of the function in order to performstrictnessanalysis in places where the function is used. From theCambridge English Corpus Generally, it is very complicated or even not possible at all to derive suchstrictnessby some kind of static analysis. From theCambridge English Corpus In subsection 2.1 we use the notion of contextual equivalence to definestrictnessof functions. From theCambridge English Corpus Given that the intended readership was primarily non-specialist,strictnessof terminology may not have been a crucial concern. From theCambridge English Corpus 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. |
| 随便看 |
|
英汉双解词典包含207842条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。