type inference

collocation in English

meaningsoftypeandinference

These words are often used together. Click on the links below to explore the meanings. Or,see other collocations withinference.
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 attype
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 atinference

(Definition oftypeandinferencefrom theCambridge English Dictionary© Cambridge University Press)

Examplesoftype inference

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.
We investigate the use of conjunctive non-standardtypeinferencefor the elimination of useless code in higher-order typed functional programs.
From theCambridge English Corpus
It also exploits meta-languagetypeinferenceto perform object-languagetypeinference(except on the optimization rules, which are expressed at the type-unsafe level).
From theCambridge English Corpus
Instead, ourtypeinferencealgorithm will compute a minimal set of coercions necessary to type a given term.
From theCambridge English Corpus
It means that, iftypeinferencesucceeds (and every type variable appears in argument types), it gives the least type arguments.
From theCambridge English Corpus
The environments are used in thetypeinferencerules, as is commonly done, to record the types of the free variables of terms.
From theCambridge English Corpus
To facilitate algorithmictypeinference, our system is syntax-directed; there is one type rule for each case in the grammar.
From theCambridge English Corpus
A partialtypeinferencealgorithm will be required, and it must be pragmatically satisfactory-inferring enough annotations, and unsurprising to the programmer.
From theCambridge English Corpus
The programmer must perform this encoding, and be prepared to interpret the type schemes and constraints which come back fromtypeinferenceand type errors.
From theCambridge English Corpus
The restriction is designed to maketypeinferencemore feasible.
From theCambridge English Corpus
These examples should clearly justify the heuristic approach totypeinferencefor predicates in a prescriptive type system.
From theCambridge English Corpus
Section 5 refines the type system with the notion of type splitting, used to make error detection andtypeinferencemore precise.
From theCambridge English Corpus
Typeinferencein the presence of overloading, subtyping and recursive types.
From theCambridge English Corpus
He sketches atypeinferencealgorithm that calculates principal types, without requiring any type annotations.
From theCambridge English Corpus
We hope that the analysis provides important combinatorial insights which will prove useful in the ultimate resolution of the complexity of thetypeinferenceproblem.
From theCambridge English Corpus
We will use this for describing ourtypeinferencealgorithm in the next section.
From theCambridge English Corpus
Here one replaces logic and proof bytypeinferenceprocedures performed during compilation.
From theCambridge English Corpus
The next compilation phase implements atypeinferencealgorithm based on the type rules described in the preceding section.
From theCambridge English Corpus
They prove type preservation and type safety properties, as expected for typed functional languages, and present atypeinferencealgorithm.
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.
Want to learn more?
Go to the definition oftype
Go to the definition ofinference
See other collocations withinference