| 词汇 | data-type |
| 释义 | BETA data typecollocation in Englishmeanings of dataand typeThese words are often used together. Click on the links below to explore the meanings. data noun[ U, + sing/pl verb ] uk /ˈdeɪ.tə/ us /ˈdeɪ.t̬ə/ information, especially facts or numbers, collected to be examined and considered and used to help decision-making, or information in an electronic form that can be stored and used by ... See more at data type noun uk /taɪp/ us /taɪp/ a particular group of people or things that share similar characteristics and form a smaller division of a ... See more at type Examples of data typedata type Figure 2 summarizes the per datatype work. In principle, the two approaches could be combined, by defining an abstract datatype for sequences, implemented either as a function or as a list. The syntaxtree datatype is an example of a recursive datatype (see the appendix for its specification). In the functional approach, cells are added as a datatype and operations are provided for creating cells and for accessing and modifying their contents. Now what we are proposing is essentially to regard a graph as an inductive datatype. The translation must only define a single datatype for those names. In the next section we consider data refinement on groups of procedures that operate on a common datatype. A datatype declaration defines the structure of a recursive datum and the data constructor names. Thus, if we know how to compress sums and products, we can compress elements of an arbitrary datatype. To encode an element of an arbitrary datatype, we first convert the element into a sum of products, which is then encoded. The extension was motivated by a wide range of interests, from pattern recognition to datatype specification. A distinct advantage over our proposal is that the per datatype code is generated automatically. Note, however, that recursive data types are not required in the languge fragment we have considered, so a datatype has only finite cardinality. We first demonstrate how existential types over type classes can be added to the language by extending the syntax of algebraic datatype definitions. From a model-theoretic perspective, a computational domain may be abstracted to a model (not necessarily the standard one) of a certain datatype specification. 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条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。