| 词汇 | example_english_type-inference |
| 释义 | type inferencecollocation in Englishmeanings of typeand inferenceThese words are often used together. Click on the links below to explore the meanings. Or, see other collocations with inference. 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 inference noun[C or U] uk /ˈɪn.fər.əns/ us /ˈɪn.fɚ.əns/ a guess that you make or an opinion that you form based on the information that ... See more at inference Examples of type inferenceThese 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. We investigate the use of conjunctive non-standard typeinference for the elimination of useless code in higher-order typed functional programs. It also exploits meta-language typeinference to perform object-language typeinference (except on the optimization rules, which are expressed at the type-unsafe level). Instead, our typeinference algorithm will compute a minimal set of coercions necessary to type a given term. It means that, if typeinference succeeds (and every type variable appears in argument types), it gives the least type arguments. The environments are used in the typeinference rules, as is commonly done, to record the types of the free variables of terms. To facilitate algorithmic typeinference, our system is syntax-directed; there is one type rule for each case in the grammar. A partial typeinference algorithm will be required, and it must be pragmatically satisfactory-inferring enough annotations, and unsurprising to the programmer. The programmer must perform this encoding, and be prepared to interpret the type schemes and constraints which come back from typeinference and type errors. The restriction is designed to make typeinference more feasible. These examples should clearly justify the heuristic approach to typeinference for predicates in a prescriptive type system. Section 5 refines the type system with the notion of type splitting, used to make error detection and typeinference more precise. Typeinference in the presence of overloading, subtyping and recursive types. He sketches a typeinference algorithm that calculates principal types, without requiring any type annotations. We hope that the analysis provides important combinatorial insights which will prove useful in the ultimate resolution of the complexity of the typeinference problem. We will use this for describing our typeinference algorithm in the next section. Here one replaces logic and proof by typeinference procedures performed during compilation. The next compilation phase implements a typeinference algorithm based on the type rules described in the preceding section. They prove type preservation and type safety properties, as expected for typed functional languages, and present a typeinference algorithm. 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. Want to learn more? Go to the definition of type Go to the definition of inference See other collocations with inference |
| 随便看 |
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。