Examples of polymorphic

polymorphic isn’t in the Cambridge Dictionary yet. You can help!
A polymorphic function can have any free variable lifted from it without affecting the polymorphic nature of the function.
The specialization algorithm operates on the complete type-checked source program, in which every use of a polymorphic identifier has been annotated with its instantiated type.
The programmer may introduce a type of polymorphic pairs, say, and define selectors appropriately.
For the next examples we introduce a polymorphic tree type.
These extensions would allow one to construct, pass around, and pattern-match tuples with polymorphic components.
Computationally, it says that at run time we disregard types, or that computations are type-free, in particular the computation of a polymorphic term.
However, the truth of this last sentence relies strongly on the fact that we admit as many polymorphic functions as possible.
Some seem to be generic; others are specific to polymorphic type systems.
We found that polymorphic type-checking of the generating extension is an additional test for the well-formedness of the underlying two-level expression.
He was diagnosed with nodal bradycardia with polymorphic ventricular extra-systoles during the last six years.
With the polymorphic modifier the behaviour is much more complex.
Estimating linkage disequilibrium between a polymorphic marker locus and a trait locus in natural populations.
If the natural populations had been polymorphic, then the founders taken from these populations might carry various alleles.
Therefore, our results may underestimate the within-subpopulation identity disequilibrium which is likely to be estimated in natural situations from only those loci that are polymorphic.
The pure functional core language has the appealing property that a polymorphic expression is evaluated once but used many times at many different types.
It has long been known that this algorithm does not work for polymorphic references.
Their approach to polymorphic type matching is to allow higher-order pattern variables into type patterns: variables that range over type contexts.
Both constructors and defined functions have polymorphic principal types.
Some partial predicates presented so far are polymorphic and the same can be said of the predicate transformers to be introduced below.

随便看

反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。