slovodefinícia
polymorphic
(encz)
polymorphic,mnohotvárný adj: Zdeněk Brož
polymorphic
(encz)
polymorphic,polymorfní adj: Zdeněk Brož
Polymorphic
(gcide)
Polymorphic \Pol`y*mor"phic\, a.
Polymorphous.
[1913 Webster]
polymorphic
(wn)
polymorphic
adj 1: relating to the crystallization of a compound in two or
more different forms; "polymorphous crystallization"
[syn: polymorphous, polymorphic]
2: relating to the occurrence of more than one kind of
individual (independent of sexual differences) in an
interbreeding population; "a polymorphic species" [syn:
polymorphic, polymorphous]
3: having or occurring in several distinct forms; "man is both
polymorphic and polytypic"; "a polymorphous god" [syn:
polymorphic, polymorphous]
polymorphic
(foldoc)
polymorphism
polymorphic

The ability to leave parts of a type in a
typed language unspecified. The term has three distinct uses:

* Parametric polymorphism refers to the use of type variables in
a strongly typed language.

* Overloading, sometimes called ad-hoc polymorphism, means
using the same syntax for different types.

* object-oriented polymorphism allows a variable to refer
to objects whose class is not known at compile time.

(2014-01-05)
podobné slovodefinícia
polymorphic
(encz)
polymorphic,mnohotvárný adj: Zdeněk Brožpolymorphic,polymorfní adj: Zdeněk Brož
polymorphic
(wn)
polymorphic
adj 1: relating to the crystallization of a compound in two or
more different forms; "polymorphous crystallization"
[syn: polymorphous, polymorphic]
2: relating to the occurrence of more than one kind of
individual (independent of sexual differences) in an
interbreeding population; "a polymorphic species" [syn:
polymorphic, polymorphous]
3: having or occurring in several distinct forms; "man is both
polymorphic and polytypic"; "a polymorphous god" [syn:
polymorphic, polymorphous]
polymorphic
(foldoc)
polymorphism
polymorphic

The ability to leave parts of a type in a
typed language unspecified. The term has three distinct uses:

* Parametric polymorphism refers to the use of type variables in
a strongly typed language.

* Overloading, sometimes called ad-hoc polymorphism, means
using the same syntax for different types.

* object-oriented polymorphism allows a variable to refer
to objects whose class is not known at compile time.

(2014-01-05)
polymorphic lambda-calculus
(foldoc)
polymorphic lambda-calculus
System F

(Or "second order typed lambda-calculus",
"System F", "Lambda-2"). An extension of {typed
lambda-calculus} allowing functions which take types as
parameters. E.g. the polymorphic function "twice" may be
written:

twice = /\ t . \ (f :: t -> t) . \ (x :: t) . f (f x)

(where "/\" is an upper case Greek lambda and "(v :: T)" is
usually written as v with subscript T). The parameter t will
be bound to the type to which twice is applied, e.g.:

twice Int

takes and returns a function of type Int -> Int. (Actual type
arguments are often written in square brackets [ ]). Function
twice itself has a higher type:

twice :: Delta t . (t -> t) -> (t -> t)

(where Delta is an upper case Greek delta). Thus /\
introduces an object which is a function of a type and Delta
introduces a type which is a function of a type.

Polymorphic lambda-calculus was invented by Jean-Yves Girard
in 1971 and independently by John C. Reynolds in 1974.

["Proofs and Types", J-Y. Girard, Cambridge U Press 1989].

(2005-03-07)

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4