These dispatch functions are never actually applied; in most cases, the dead-codeeliminatorwill remove them.From theCambridge English Corpus
The -construct splits a programming problem into subproblems given an arbitraryeliminator.From theCambridge English Corpus
In the absence of perfect eliminators, the following heuristics can be used.From theCambridge English Corpus
A key point of this paper is that the types of eliminators give an abstract interface to pattern analysis, whatever the actual patterns are.From theCambridge English Corpus
So we are looking for maximal eliminators, ideally perfect ones.From theCambridge English Corpus
A test is a perfecteliminatorif it is aneliminatorof k - 1 sequences.From theCambridge English Corpus
However, practice has shown that eliminators are rather cumbersome to use, whereas case-expressions and fixpoint expressions lead to more concise and readable definitions.From theCambridge English Corpus
Although eliminators are higher-order functions, section 6 introduces a first-order programming idiom for constructing and working with them - this is our notion of views.From theCambridge English Corpus
We shall present more sophisticated examples in section 6, where we develop an idiom for constructing non-standard eliminators by first-order programming.From theCambridge English Corpus
We put the targets first, so that an elimination operator is a function from targets to eliminators.From theCambridge English Corpus
It is easy to extract these eliminators from programs like compare above.From theCambridge English Corpus
As a tie-breaker, a top-down, left-toright order of selecting maximal eliminators is followed.From theCambridge English Corpus
In section 4 we give a technical characterization of eliminators, together with the ('by') construct which supports their use, whether primitive or user-defined.From theCambridge English Corpus
If a perfecteliminatorexists each time the select action procedure is called, then the size of the tree automaton will be linear in the total number of actions.From theCambridge English Corpus
Such actions, called eliminators, are defined below.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.