«POLYMORPHIC FUNCTION»に関連する英語の本
以下の図書目録から
polymorphic functionの使いかたを見つけましょう。
polymorphic functionに関する本と英語文献で使われた文脈を提供するための簡単な抜粋文。
1
Functional Programming Languages and Computer Architecture: ...
The method relies on the semantic relationship between the different instances of
a polymorphic function. The semantics of the first-order polymorphic language he
considered was defined on the category of domains and continuous functions.
2
Programming Languages and Systems: 9th European Symposium on ...
Definition 42 (Data Polymorphic Functions): For function λx.e assigned with type (
∀ t. t → τ \ C) by the inference rules, λx.e is a data-polymorphic function in
constraint set C iff there appears τ in C s.t. erase(τ ) = τ and τ is data-polymorphic
in C.
3
Foundations of Object-oriented Languages: Types and Semantics
In order to introduce polymorphic functions, we first enrich our type system by
adding an expression representing the type of a polymorphic function. This will
be added as a type constructor with kind *. //. v € Constructor ::= ... | Vi>K. T The ...
4
PostgreSQL 9.0 Official Documentation - Volume III. Server ...
Polymorphic arguments and results are tied to each other and are resolved to a
specific data type when a query calling a polymorphic function is parsed. Each
position (either argument or return value) declared as anyelement is allowed to ...
Postgresql Global Development Group, 2011
5
Efficient
Polymorphic Calls
Thus, one can no longer trust the results of earlier implementation work that was
aimed at minimizing the number of instructions consumed by polymorphic
function calls. This book is in many ways the successor to Ungar's classic study of
...
By extension, func could be said to be polymorphic because it can be associated
with any function from an arbitrary type argument to an integer result. Thus,
doublefunc could be said to be a polymorphic function, because its argument
func is ...
7
Design and Verification of Microprocessor Systems for ...
Finally, the composition of an instantiation map M and a set S is defined as M om
S I {2% M10, S |zeDom The instantiation information of each occurrence of a
polymorphic function and datatype is gathered into an instantiation map during a
...
8
Programming Languages: Implementations, Logics, and ...
While a polymorphic function stands for one algorithm that happens to be
insensitive to what type the values in some structure are, a polytypic function
embraces a class of algorithms. The ability to define functions polytypically adds
another ...
Herbert Kuchen, S.Doaitse Swierstra, 1996
9
Advanced Functional Programming: Third International School, ...
Suppose we have a polymorphic function f of type Tα for all types α. That is, for
each type A there is an instance fA of type TA. The action of T is extended —in a
way to be made precise shortly— to binary relations, where if relation R has type
A ...
S. Doaitse Swierstra, Pedro R. Henriques, Jose N. Oliveira, 1999
10
Mathematics of Program Construction: 7th International ...
2.2 From Container Morphisms to Polymorphic Functions and Back Given a
container morphism (u, f) : (A ⊳ B) → (S ⊳ P) does (u, f) really define a
polymorphic function TA⊳B → TS⊳P? If so, are all polymorphic functions of this
form?. And in a ...
