| 单词 | data type |
| 释义 | BETA Examples ofdata typeDictionary> Examples ofdata type data typeisn’t in the Cambridge Dictionary yet. You can help! Add a definition Note, however, that recursive data types are not required in the languge fragment we have considered, so adatatypehas only finite cardinality. From theCambridge English Corpus We first demonstrate how existential types over type classes can be added to the language by extending the syntax of algebraicdatatypedefinitions. From theCambridge English Corpus From a model-theoretic perspective, a computational domain may be abstracted to a model (not necessarily the standard one) of a certaindatatypespecification. From theCambridge English Corpus Section 4.3 already introduced the arraydatatypewith a corresponding axiomatisation. From theCambridge English Corpus This definition is similar to a recursivedata-typedefinition in a conventional functional programming language. From theCambridge English Corpus Figure 2 summarizes the perdatatypework. From theCambridge English Corpus In principle, the two approaches could be combined, by defining an abstractdatatypefor sequences, implemented either as a function or as a list. From theCambridge English Corpus The syntaxtreedatatypeis an example of a recursivedatatype(see the appendix for its specification). From theCambridge English Corpus In the functional approach, cells are added as adatatypeand operations are provided for creating cells and for accessing and modifying their contents. From theCambridge English Corpus Now what we are proposing is essentially to regard a graph as an inductivedatatype. From theCambridge English Corpus The translation must only define a singledatatypefor those names. From theCambridge English Corpus In the next section we consider data refinement on groups of procedures that operate on a commondatatype. From theCambridge English Corpus Adatatypedeclaration defines the structure of a recursive datum and the data constructor names. From theCambridge English Corpus Thus, if we know how to compress sums and products, we can compress elements of an arbitrarydatatype. From theCambridge English Corpus To encode an element of an arbitrarydatatype, we first convert the element into a sum of products, which is then encoded. From theCambridge English Corpus The extension was motivated by a wide range of interests, from pattern recognition todatatypespecification. From theCambridge English Corpus A distinct advantage over our proposal is that the perdatatypecode is generated automatically. 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. |
| 随便看 |
英汉词典包含213609条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。