| slovo | definícia |
tuple
(encz) | tuple,-násobný adj: Zdeněk Brož |
tuple
(encz) | tuple,n-tice n: [mat.] Tolda |
tuple
(foldoc) | Toyohashi University Parallel Lisp Environment
TUPLE
(TUPLE) A parallel Lisp based on KCL.
["Memory Management and Garbage Collection of an Extended
Common Lisp System for Massively Parallel SIMD Architecture",
Taiichi Yuasa, in Memory Management, IWMM92, Springer 1992,
490-507].
(1994-11-08)
|
tuple
(foldoc) | tuple
In functional languages, a data object
containing two or more components. Also known as a product
type or pair, triple, quad, etc. Tuples of different sizes
have different types, in contrast to lists where the type is
independent of the length. The components of a tuple may be
of different types whereas all elements of a list have the
same type.
Examples of tuples (in Haskell notation) are: (1,2),
("Tuple",True), (w,(x,y),z). The degenerate tuple type with
zero components, written (), is known as the unit type since
it has only one possible value which is also written ().
The implementation of tuples in a language may be either
"lifted" or not. If tuples are lifted then (bottom, bottom)
/= bottom (where bottom represents non-termination) and the
evaluation of a tuple may fail to terminate. E.g. in Haskell:
f (x, y) = 1 --> f bottom = bottom
f (bottom, bottom) = 1
With lifted tuples, a tuple pattern is refutable. Thus in
Haskell, pattern matching on tuples is the same as pattern
matching on types with multiple constructors ({algebraic data
types}) - the expression being matched is evaluated as far as
the top level constructor, even though, in the case of tuples,
there is only one possible constructor for a given type.
If tuples are unlifted then (bottom, bottom) = bottom and
evaluation of a tuple will never fail to terminate though any
of the components may. E.g. in Miranda:
f (x, y) = 1 --> f bottom = 1
f (bottom, bottom) = 1
Thus in Miranda, any object whose type is compatible with a
tuple pattern is assumed to match at the top level without
evaluation - it is an irrefutable pattern. This also
applies to user defined data types with only one constructor.
In Haskell, patterns can be made irrefutable by adding a "~"
as in
f ~(x, y) = 1.
If tuple constructor functions were strict in all their
arguments then (bottom, x) = (x, bottom) = bottom for any x
so matching a refutable pattern would fail to terminate if
any component was bottom.
(2012-03-25)
|
| | podobné slovo | definícia |
n-tuple
(encz) | n-tuple,n-násobný adj: slady |
octuple
(encz) | octuple,osminásobek n: Zdeněk Brožoctuple,osminásobný adj: Zdeněk Brož |
quintuple
(encz) | quintuple,pětinásobný adj: Zdeněk Brož |
quintuplet
(encz) | quintuplet,jedno z paterčat Zdeněk Brožquintuplet,paterče Zdeněk Brož |
septuple
(encz) | septuple,sedminásobek n: Rostislav Svobodaseptuple,sedminásobný adj: Zdeněk Brož |
sextuple
(encz) | sextuple,šestinásobný adj: Zdeněk Brož |
sextuplet
(encz) | sextuplet,šesterče Zdeněk Brož |
tuplet
(encz) | tuplet,n-tice web |
Centuple
(gcide) | Centuple \Cen"tu*ple\, a. [L. centuplex; centum + plicare to
fold; cf. F. centuple.]
Hundredfold.
[1913 Webster]Centuple \Cen"tu*ple\, v. t.
To increase a hundredfold.
[1913 Webster] |
Infinituple
(gcide) | Infinituple \In*fin"i*tu`ple\, a. [Cf. Quadruple.]
Multiplied an infinite number of times. [R.] --Wollaston.
[1913 Webster] |
Octuple
(gcide) | Octuple \Oc"tu*ple\, a. [L. octuplus; cf. Gr. ?: cf. F.
octuple.]
Eightfold.
[1913 Webster] |
Quintuple
(gcide) | Quintuple \Quin"tu*ple\, a. [L. quintus fifth: cf. F. quintuple,
L. quintuplex. Cf. Quadruple.]
Multiplied by five; increased to five times the amount;
fivefold.
[1913 Webster]
Quintuple time (Mus.), a time having five beats in a
measure. It is seldom used.
[1913 Webster]Quintuple \Quin"tu*ple\, v. t. [imp. & p. p. Quintupled; p.
pr. & vb. n. Quintupling.] [Cf. F. quintupler.]
To make fivefold, or five times as much or many.
[1913 Webster] |
Quintuple time
(gcide) | Quintuple \Quin"tu*ple\, a. [L. quintus fifth: cf. F. quintuple,
L. quintuplex. Cf. Quadruple.]
Multiplied by five; increased to five times the amount;
fivefold.
[1913 Webster]
Quintuple time (Mus.), a time having five beats in a
measure. It is seldom used.
[1913 Webster] |
Quintupled
(gcide) | Quintuple \Quin"tu*ple\, v. t. [imp. & p. p. Quintupled; p.
pr. & vb. n. Quintupling.] [Cf. F. quintupler.]
To make fivefold, or five times as much or many.
[1913 Webster] |
Quintuple-nerved
(gcide) | Quintuple-nerved \Quin"tu*ple-nerved`\, Quintuple-ribbed
\Quin"tu*ple-ribbed`\, a. (Bot.)
The same as Quinquenerved.
[1913 Webster] |
Quintuple-ribbed
(gcide) | Quintuple-nerved \Quin"tu*ple-nerved`\, Quintuple-ribbed
\Quin"tu*ple-ribbed`\, a. (Bot.)
The same as Quinquenerved.
[1913 Webster] |
Quintuplet
(gcide) | Quintuplet \Quin"tu*plet\, n. [From Quintuple.]
1. A collection or combination of five of a kind.
[Webster 1913 Suppl.]
2. pl. Five children born in the same labor.
[Webster 1913 Suppl.]
3. (Mus.) A group of five connected notes; a turn of five
notes.
[Webster 1913 Suppl.]
4. A cycle having five crank shafts and adapted for five
riders, all of whom can assist in the propulsion.
[Webster 1913 Suppl.] |
Quintuplets
(gcide) | Quintuplets \Quin*tup"lets\, n. pl.
five children born from one mother in a single pregnancy.
[PJC] Quintuple-nerved |
Septuple
(gcide) | Septuple \Sep"tu*ple\, a. [LL. septuplus; cf. Gr. ?????:cf. F.
septuple. Cf. Double, Quadruple.]
Seven times as much; multiplied by seven; sevenfold.
[1913 Webster]Septuple \Sep"tu*ple\, v. t. [imp. & p. p. Septupled; p. pr. &
vb. n. Septupling.]
To multiply by seven; to make sevenfold. --Sir J. Herschel.
[1913 Webster] Sepulcher |
Septupled
(gcide) | Septuple \Sep"tu*ple\, v. t. [imp. & p. p. Septupled; p. pr. &
vb. n. Septupling.]
To multiply by seven; to make sevenfold. --Sir J. Herschel.
[1913 Webster] Sepulcher |
Sextuple
(gcide) | Sextuple \Sex"tu*ple\, a. [Formed (in imitation of quadruple)
fr. L. sextus sixth: cf. F. sextuple.]
1. Six times as much; sixfold.
[1913 Webster]
2. (Mus.) Divisible by six; having six beats; as, sixtuple
measure.
[1913 Webster] |
Suboctuple
(gcide) | Suboctave \Sub*oc"tave\, Suboctuple \Sub*oc"tu*ple\, a.
Containing one part of eight; having the ratio of one to
eight. --Bp. Wilkins.
[1913 Webster] |
Subquintuple
(gcide) | Subquintuple \Sub*quin"tu*ple\, a.
Having the ratio of one to five; as, subquintuple proportion.
--Bp. Wilkins.
[1913 Webster] |
Subseptuple
(gcide) | Subseptuple \Sub*sep"tu*ple\, a.
Having the ratio of one to seven. --Bp. Wilkins.
[1913 Webster] Subsequence |
Subsextuple
(gcide) | Subsextuple \Sub*sex"tu*ple\, a.
Having the ratio of one to six; as, a subsextuple proportion.
--Bp. Wilkins.
[1913 Webster] |
octuple
(wn) | octuple
adj 1: having eight units or components [syn: octuple,
eightfold, eight-fold] |
quintuple
(wn) | quintuple
adj 1: having five units or components [syn: quintuple,
fivefold, five-fold]
n 1: a set of five similar things considered as a unit [syn:
quintet, quintette, quintuplet, quintuple]
v 1: increase fivefold; "The population of China quintupled" |
quintuplet
(wn) | quintuplet
n 1: the cardinal number that is the sum of four and one [syn:
five, 5, V, cinque, quint, quintet, fivesome,
quintuplet, pentad, fin, Phoebe, Little Phoebe]
2: one of five children born at the same time from the same
pregnancy [syn: quintuplet, quint, quin]
3: a set of five similar things considered as a unit [syn:
quintet, quintette, quintuplet, quintuple] |
septuple
(wn) | septuple
adj 1: having seven units or components [syn: septuple,
sevenfold, seven-fold] |
sextuple
(wn) | sextuple
adj 1: having six units or components [syn: sextuple,
sixfold, six-fold] |
sextuplet
(wn) | sextuplet
n 1: the cardinal number that is the sum of five and one [syn:
six, 6, VI, sixer, sise, Captain Hicks, {half a
dozen}, sextet, sestet, sextuplet, hexad] |
tuple calculus
(foldoc) | tuple calculus
A form of relational calculus in which a
variable's only permitted values are tuples of a given
relation.
Codd's unimplemented language ALPHA and the subsequent
QUEL are examples of the tuple calculus.
(1998-10-05)
|
tuple space smalltalk
(foldoc) | Tuple Space Smalltalk
["Using Tuple Space Communication in Distributed
Object-Oriented Languages", S. Matsuoka et al, SIGPLAN Notices
23(11):276-284 (Nov 1988)].
(1994-11-08)
|
|