tuple

World English Dictionary
tuple (ˈtjʊpəl, ˈtʌpəl)
 
n
computing a row of values in a relational database

Collins English Dictionary - Complete & Unabridged 10th Edition
2009 © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins
Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009
Cite This Source
Dictionary.com's 21st Century Lexicon
Main Entry:  tuple
Part of Speech:  n
Definition:  in a database, an ordered set of data constituting a record; a data structure consisting of comma-separated values passed to a program or operating system
Usage:  computing
Dictionary.com's 21st Century Lexicon
Copyright © 2003-2014 Dictionary.com, LLC
Cite This Source
FOLDOC
Computing Dictionary

TUPLE definition


Toyohashi University Parallel Lisp Environment

tuple definition


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 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 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.
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature