| 词汇 | example_english_first-class |
| 释义 | Examples of first classThese 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. Nurses' methods help them to accomplish firstclass medicine and the production of the clinical domain. Is it for students like those he mentions in the preface as his firstclass in palaeoclimatology? The firstclass concerns faces that resist to interaction. Variable cells are not firstclass citizens, and cannot be explicitly manipulated. Note that channels are not firstclass values. After their formation period, they would be inscribed in the firstclass of expectant officials. It is not possible to manipulate contexts as firstclass objects or to assert statements about these contexts. Firms emitting more than 3,000 m3/day belong to the firstclass. The firstclass of selective herbicides were the hormone-type herbicides with 2,4dichlorophenoxyacetic acid introduced in 1942. With very few exceptions, there is a firstclass selection of illustrations, figures and photographs. This requires a language with functions as firstclass citizens, as the result may well be of function type. In the present paper, lambda terms (without explicit substitutions) are considered as firstclass citizens also for sequent calculus. Examining the data set by class,9 five subindustries belong to the firstclass. For the firstclass of graphs we assume a fixed cooling temperature for the simulated annealing algorithm. If the firstclass is empty, we are done, as mentioned in the previous paragraph. The firstclass includes the monomorphic strains, represented by circles, which have elements with only three repeats. In the firstclass of cases, the caesura correlates with the absence of syllabic material to fill up a specific metrical position within a line. Actors/objects are firstclass, history sensitive entities whose identity can be communicated and used for communication with the identified object. In standard process algebra theory, processes can be dynamically created, but they are not firstclass entities that can be directly manipulated. Arrays are no longer firstclass objects and referential transparency is lost. The language is functional in the sense that functions are firstclass objects. The firstclass label is the true class and the second is the predicted class. The present work falls into the firstclass. Since capabilities are firstclass entities, a weaker security model in which capability can be exchanged could easily be modelled. A firstclass of approach is inherited from the control schemes that have been developed for manipulators. Following the firstclass, the structure of his table of simple substances rested largely on the actively organizing role of oxygen. Scientific achievements are often related to firstclass individuals who may or may not generate equivalent high-standard scholars. These privileges firmly align her, not with the "others" who suffered, but with the most enfranchised passengers, or those who traveled firstclass. The firstclass are much more bursty than the binomial would predict. At that point, the process would start over again with the firstclass. The order started from shunters, passed drivers, drivers, firstclass goods drivers, and finally to passenger drivers. In these statistics, the quality of diagnosis can be taken as firstclass. For plane waves the firstclass becomes the v-mode solution and the other the p-mode solution. We present here a brief summary of the relative magnitudes of the firstclass, and defer until later a discussion of the second. Functions and variables are truly treated as firstclass objects. Indeed, configurations combine lambda abstractions (first-class functions), records, environments with mutually recursive definitions and modules. Although it is natural to define polytypic programs as operating over first-class types, such a semantics suffers from a number of drawbacks. In this section, we show how situation programs can be manipulated as first-class entities within a programming language. While it explains that programs benefit from functions as first-class values, it does not show how programmers discover the need for this power. This distinction lifts smoothly to type theory with first-class proof objects. Because sml does not have modal types or first-class polymorphism, they use run-time checks to enforce the correct use of modality. Domains are channels of information, and are considered as first-class objects that can be themselves defined by means of constraints. An alternative is to consider a richer type system that supports first-class polymorphism. The architecture we will describe cannot be used in the verification of programs with first-class code pointers, to name just one major weakness. The second purpose of this article is to suggest how we may give a first-class treatment of back-and-forth coercions in intensional type theories. Added to all this are the numerous first-class diagrams. We first describe the issues involved in manipulating programs as first-class objects and the idea of abstract syntax. Functions are also first-class values, which can be passed as arguments and returned as results. This is achieved by recognizing weight constraints as first-class citizens and using them as basic building blocks of rules instead of plain atoms. This corruption in political life is minutely detailed - dollar salaries, first-class air fares, ministerial cars, illegal contracts and simple theft. We turn now to the question of soundness of type assignment for the extension of the semantics with first-class continuations. While the railway mail clerks were to report to first-class clerks, contact with these service officials was rare. If the compiler supports first-class functions (closures), functors can be translated to functions from structure representations to structure representations and compiled only once. The lowliest foreigners coming to this country became first-class gentlemen and messenger boys would turn into ambassadors. In other words, they were not real men but first-class witches. It is a first-class exposition of what we know, and it would be invidious to raise a critical eyebrow about it. Existential types are used to represent a form of first-class abstract data types. Names in the -calculus are second-class objects, and it is an important future work to consider extensions with first-class names and name equality. It allows them to work at a high abstraction level using organisational concepts such as roles and teams as first-class design constructs. In the distributed setting, it seems to be particularly useful to have firstclass universals, allowing polymorphic functions to be communicated, and first-class existentials. 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条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。