blob: 7f04a79c34b918bec005083c284dd161cba7da40 [file] [log] [blame]
Skip Montanaro757dedc2003-09-24 16:51:23 +00001\chapter{Glossary\label{glossary}}
2
3%%% keep the entries sorted and include at least one \index{} item for each
Raymond Hettinger5a25aa62003-09-27 05:42:14 +00004%%% cross-references are marked with \emph{entry}
Skip Montanaro757dedc2003-09-24 16:51:23 +00005
6\begin{description}
7
Skip Montanaro757dedc2003-09-24 16:51:23 +00008
9\index{>>>}
Fred Draked4a14192003-09-27 18:59:43 +000010\item[\code{>\code{>}>}]
11The typical Python prompt of the interactive shell. Often seen for
12code examples that can be tried right away in the interpreter.
Skip Montanaro757dedc2003-09-24 16:51:23 +000013
Raymond Hettinger43b5e402003-09-27 20:19:02 +000014\index{...}
15\item[\code{.\code{.}.}]
16The typical Python prompt of the interactive shell when entering code
17for an indented code block.
Skip Montanaro757dedc2003-09-24 16:51:23 +000018
19\index{BDFL}
Fred Draked4a14192003-09-27 18:59:43 +000020\item[BDFL]
21Benevolent Dictator For Life, a.k.a. \ulink{Guido van
Raymond Hettinger43b5e402003-09-27 20:19:02 +000022Rossum}{http://www.python.org/\textasciitilde{}guido/}, Python's creator.
Skip Montanaro757dedc2003-09-24 16:51:23 +000023
24\index{byte code}
Fred Draked4a14192003-09-27 18:59:43 +000025\item[byte code]
26The internal representation of a Python program in the interpreter.
27The byte code is also cached in the \code{.pyc} and \code{.pyo}
28files so that executing the same file is faster the second time
29(compilation from source to byte code can be saved). This
Raymond Hettinger43b5e402003-09-27 20:19:02 +000030``intermediate language'' is said to run on a ``virtual
31machine'' that calls the subroutines corresponding to each bytecode.
Skip Montanaro757dedc2003-09-24 16:51:23 +000032
33\index{classic class}
Fred Draked4a14192003-09-27 18:59:43 +000034\item[classic class]
35Any class which does not inherit from \class{object}. See
36\emph{new-style class}.
Skip Montanaro757dedc2003-09-24 16:51:23 +000037
38\index{coercion}
Fred Draked4a14192003-09-27 18:59:43 +000039\item[coercion]
Skip Montanarodbb40782004-03-27 18:23:11 +000040
41The implicit conversion of an instance of one type to another during an
42operation which involves two arguments of the same type. For example,
Raymond Hettinger65a350d2004-12-02 07:29:43 +000043{}\code{int(3.15)} converts the floating point number to the integer
Skip Montanarodbb40782004-03-27 18:23:11 +000044{}\code{3}, but in {}\code{3+4.5}, each argument is of a different type (one
45int, one float), and both must be converted to the same type before they can
46be added or it will raise a {}\code{TypeError}. Coercion between two
47operands can be performed with the {}\code{coerce} builtin function; thus,
48{}\code{3+4.5} is equivalent to calling {}\code{operator.add(*coerce(3,
494.5))} and results in {}\code{operator.add(3.0, 4.5)}. Without coercion,
50all arguments of even compatible types would have to be normalized to the
51same value by the programmer, e.g., {}\code{float(3)+4.5} rather than just
52{}\code{3+4.5}.
53
54\index{complex number}
55\item[complex number]
56
57An extension of the familiar real number system in which all numbers are
58expressed as a sum of a real part and an imaginary part. Imaginary numbers
59are real multiples of the imaginary unit (the square root of {}\code{-1}),
60often written {}\code{i} in mathematics or {}\code{j} in engineering.
61Python has builtin support for complex numbers, which are written with this
62latter notation; the imaginary part is written with a {}\code{j} suffix,
63e.g., {}\code{3+1j}. To get access to complex equivalents of the
64{}\module{math} module, use {}\module{cmath}. Use of complex numbers is a
Andrew M. Kuchlingaeaec8d2004-03-29 01:19:54 +000065fairly advanced mathematical feature. If you're not aware of a need for them,
Raymond Hettingerf13c0242004-03-28 22:44:09 +000066it's almost certain you can safely ignore them.
Skip Montanaro757dedc2003-09-24 16:51:23 +000067
68\index{descriptor}
Fred Draked4a14192003-09-27 18:59:43 +000069\item[descriptor]
70Any \emph{new-style} object that defines the methods
71{}\method{__get__()}, \method{__set__()}, or \method{__delete__()}.
72When a class attribute is a descriptor, its special binding behavior
73is triggered upon attribute lookup. Normally, writing \var{a.b} looks
74up the object \var{b} in the class dictionary for \var{a}, but if
75{}\var{b} is a descriptor, the defined method gets called.
76Understanding descriptors is a key to a deep understanding of Python
77because they are the basis for many features including functions,
78methods, properties, class methods, static methods, and reference to
79super classes.
Skip Montanaro757dedc2003-09-24 16:51:23 +000080
81\index{dictionary}
Fred Draked4a14192003-09-27 18:59:43 +000082\item[dictionary]
83An associative array, where arbitrary keys are mapped to values. The
84use of \class{dict} much resembles that for \class{list}, but the keys
85can be any object with a \method{__hash__()} function, not just
86integers starting from zero. Called a hash in Perl.
Skip Montanaro757dedc2003-09-24 16:51:23 +000087
Raymond Hettingerd4f5b072005-01-11 16:11:13 +000088\index{duck-typing}
89\item{duck-typing}
90Pythonic programming style that determines an object's type by inspection
91of its method or attribute signature rather than by explicit relationship
92to some type object ("If it looks like a duck and quacks like a duck, it
93must be a duck.") By emphasizing interfaces rather than specific types,
94well-designed code improves its flexibility by allowing polymorphic
95substitution. Duck-typing avoids tests using \function{type()} or
96\function{isinstance()}. Instead, it typically employs
97\function{hasattr()} tests or {}\emph{EAFP} programming.
98
Skip Montanaro757dedc2003-09-24 16:51:23 +000099\index{EAFP}
Fred Draked4a14192003-09-27 18:59:43 +0000100\item[EAFP]
101Easier to ask for forgiveness than permission. This common Python
102coding style assumes the existence of valid keys or attributes and
103catches exceptions if the assumption proves false. This clean and
104fast style is characterized by the presence of many \keyword{try} and
105{}\keyword{except} statements. The technique contrasts with the
106{}\emph{LBYL} style that is common in many other languages such as C.
Skip Montanaro757dedc2003-09-24 16:51:23 +0000107
108\index{__future__}
Fred Draked4a14192003-09-27 18:59:43 +0000109\item[__future__]
110A pseudo module which programmers can use to enable new language
111features which are not compatible with the current interpreter. For
Raymond Hettinger43b5e402003-09-27 20:19:02 +0000112example, the expression \code{11/4} currently evaluates to \code{2}.
113If the module in which it is executed had enabled \emph{true division}
Fred Draked4a14192003-09-27 18:59:43 +0000114by executing:
Skip Montanaro757dedc2003-09-24 16:51:23 +0000115
116\begin{verbatim}
117from __future__ import division
118\end{verbatim}
119
Fred Drake984920b2003-09-28 19:03:36 +0000120the expression \code{11/4} would evaluate to \code{2.75}. By actually
121importing the \ulink{\module{__future__}}{../lib/module-future.html}
122module and evaluating its variables, you can see when a new feature
123was first added to the language and when it will become the default:
Skip Montanaro757dedc2003-09-24 16:51:23 +0000124
125\begin{verbatim}
126>>> import __future__
127>>> __future__.division
128_Feature((2, 2, 0, 'alpha', 2), (3, 0, 0, 'alpha', 0), 8192)
129\end{verbatim}
130
131\index{generator}
Fred Draked4a14192003-09-27 18:59:43 +0000132\item[generator]
Skip Montanarodbb40782004-03-27 18:23:11 +0000133A function that returns an iterator. It looks like a normal function except
134that values are returned to the caller using a \keyword{yield} statement
135instead of a {}\keyword{return} statement. Generator functions often
136contain one or more {}\keyword{for} or \keyword{while} loops that
137\keyword{yield} elements back to the caller. The function execution is
138stopped at the {}\keyword{yield} keyword (returning the result) and is
139resumed there when the next element is requested by calling the
140\method{next()} method of the returned iterator.
Skip Montanaro757dedc2003-09-24 16:51:23 +0000141
Raymond Hettingerd3481932004-06-07 21:52:47 +0000142\index{generator expression}
143\item[generator expression]
144An expression that returns a generator. It looks like a normal expression
145followed by a \keyword{for} expression defining a loop variable, range, and
146an optional \keyword{if} expression. The combined expression generates
147values for an enclosing function:
148
149\begin{verbatim}
150>>> sum(i*i for i in range(10)) # sum of squares 0, 1, 4, ... 81
151285
152\end{verbatim}
153
Skip Montanaro757dedc2003-09-24 16:51:23 +0000154\index{GIL}
Fred Draked4a14192003-09-27 18:59:43 +0000155\item[GIL]
156See \emph{global interpreter lock}.
Skip Montanaro757dedc2003-09-24 16:51:23 +0000157
158\index{global interpreter lock}
Fred Draked4a14192003-09-27 18:59:43 +0000159\item[global interpreter lock]
160The lock used by Python threads to assure that only one thread can be
161run at a time. This simplifies Python by assuring that no two
162processes can access the same memory at the same time. Locking the
163entire interpreter makes it easier for the interpreter to be
Skip Montanaro757dedc2003-09-24 16:51:23 +0000164multi-threaded, at the expense of some parallelism on multi-processor
Fred Draked4a14192003-09-27 18:59:43 +0000165machines. Efforts have been made in the past to create a
Raymond Hettinger43b5e402003-09-27 20:19:02 +0000166``free-threaded'' interpreter (one which locks shared data at a much
Fred Draked4a14192003-09-27 18:59:43 +0000167finer granularity), but performance suffered in the common
168single-processor case.
Skip Montanaro757dedc2003-09-24 16:51:23 +0000169
170\index{IDLE}
Fred Draked4a14192003-09-27 18:59:43 +0000171\item[IDLE]
172An Integrated Development Environment for Python. IDLE is a
Raymond Hettinger5a25aa62003-09-27 05:42:14 +0000173basic editor and interpreter environment that ships with the standard
174distribution of Python. Good for beginners, it also serves as clear
175example code for those wanting to implement a moderately
Fred Draked4a14192003-09-27 18:59:43 +0000176sophisticated, multi-platform GUI application.
Skip Montanaro757dedc2003-09-24 16:51:23 +0000177
178\index{immutable}
Fred Draked4a14192003-09-27 18:59:43 +0000179\item[immutable]
Skip Montanarodbb40782004-03-27 18:23:11 +0000180An object with fixed value. Immutable objects are numbers, strings or
Fred Draked4a14192003-09-27 18:59:43 +0000181tuples (and more). Such an object cannot be altered. A new object
Skip Montanaro757dedc2003-09-24 16:51:23 +0000182has to be created if a different value has to be stored. They play an
Raymond Hettinger65a350d2004-12-02 07:29:43 +0000183important role in places where a constant hash value is needed, for
Fred Draked4a14192003-09-27 18:59:43 +0000184example as a key in a dictionary.
Skip Montanaro757dedc2003-09-24 16:51:23 +0000185
186\index{integer division}
Fred Draked4a14192003-09-27 18:59:43 +0000187\item[integer division]
188Mathematical division discarding any remainder. For example, the
Raymond Hettinger43b5e402003-09-27 20:19:02 +0000189expression \code{11/4} currently evaluates to \code{2} in contrast
Fred Draked4a14192003-09-27 18:59:43 +0000190to the \code{2.75} returned by float division. Also called
191{}\emph{floor division}. When dividing two integers the outcome will
192always be another integer (having the floor function applied to it).
193However, if one of the operands is another numeric type (such as a
194{}\class{float}), the result will be coerced (see \emph{coercion}) to
Skip Montanarodbb40782004-03-27 18:23:11 +0000195a common type. For example, an integer divided by a float will result
Fred Draked4a14192003-09-27 18:59:43 +0000196in a float value, possibly with a decimal fraction. Integer division
197can be forced by using the \code{//} operator instead of the \code{/}
198operator. See also \emph{__future__}.
Skip Montanaro757dedc2003-09-24 16:51:23 +0000199
200\index{interactive}
Fred Draked4a14192003-09-27 18:59:43 +0000201\item[interactive]
202Python has an interactive interpreter which means that you can try out
Raymond Hettinger65a350d2004-12-02 07:29:43 +0000203things and immediately see their results. Just launch \code{python} with no
Fred Draked4a14192003-09-27 18:59:43 +0000204arguments (possibly by selecting it from your computer's main menu).
205It is a very powerful way to test out new ideas or inspect modules and
206packages (remember \code{help(x)}).
Skip Montanaro757dedc2003-09-24 16:51:23 +0000207
208\index{interpreted}
Fred Draked4a14192003-09-27 18:59:43 +0000209\item[interpreted]
Skip Montanarodbb40782004-03-27 18:23:11 +0000210Python is an interpreted language, as opposed to a compiled one. This means
211that the source files can be run directly without first creating an
212executable which is then run. Interpreted languages typically have a
213shorter development/debug cycle than compiled ones, though their programs
214generally also run more slowly. See also {}\emph{interactive}.
Skip Montanaro757dedc2003-09-24 16:51:23 +0000215
216\index{iterable}
Fred Draked4a14192003-09-27 18:59:43 +0000217\item[iterable]
218A container object capable of returning its members one at a time.
Raymond Hettinger43b5e402003-09-27 20:19:02 +0000219Examples of iterables include all sequence types (such as \class{list},
Raymond Hettinger5a25aa62003-09-27 05:42:14 +0000220{}\class{str}, and \class{tuple}) and some non-sequence types like
Fred Draked4a14192003-09-27 18:59:43 +0000221{}\class{dict} and \class{file} and objects of any classes you define
222with an \method{__iter__()} or \method{__getitem__()} method. Iterables
223can be used in a \keyword{for} loop and in many other places where a
224sequence is needed (\function{zip()}, \function{map()}, ...). When an
225iterable object is passed as an argument to the builtin function
226{}\function{iter()}, it returns an iterator for the object. This
227iterator is good for one pass over the set of values. When using
228iterables, it is usually not necessary to call \function{iter()} or
Raymond Hettinger43b5e402003-09-27 20:19:02 +0000229deal with iterator objects yourself. The \code{for} statement does
Fred Draked4a14192003-09-27 18:59:43 +0000230that automatically for you, creating a temporary unnamed variable to
231hold the iterator for the duration of the loop. See also
232{}\emph{iterator}, \emph{sequence}, and \emph{generator}.
Skip Montanaro757dedc2003-09-24 16:51:23 +0000233
234\index{iterator}
Fred Draked4a14192003-09-27 18:59:43 +0000235\item[iterator]
236An object representing a stream of data. Repeated calls to the
237iterator's \method{next()} method return successive items in the
Skip Montanaro757dedc2003-09-24 16:51:23 +0000238stream. When no more data is available a \exception{StopIteration}
Fred Draked4a14192003-09-27 18:59:43 +0000239exception is raised instead. At this point, the iterator object is
240exhausted and any further calls to its \method{next()} method just
241raise \exception{StopIteration} again. Iterators are required to have
242an \method{__iter__()} method that returns the iterator object
243itself so every iterator is also iterable and may be used in most
244places where other iterables are accepted. One notable exception is
245code that attempts multiple iteration passes. A container object
246(such as a \class{list}) produces a fresh new iterator each time you
247pass it to the \function{iter()} function or use it in a
248{}\keyword{for} loop. Attempting this with an iterator will just
Raymond Hettinger65a350d2004-12-02 07:29:43 +0000249return the same exhausted iterator object used in the previous iteration
Fred Draked4a14192003-09-27 18:59:43 +0000250pass, making it appear like an empty container.
Skip Montanaro757dedc2003-09-24 16:51:23 +0000251
252\index{list comprehension}
Fred Draked4a14192003-09-27 18:59:43 +0000253\item[list comprehension]
254A compact way to process all or a subset of elements in a sequence and
255return a list with the results. \code{result = ["0x\%02x"
Skip Montanaro757dedc2003-09-24 16:51:23 +0000256\% x for x in range(256) if x \% 2 == 0]} generates a list of strings
257containing hex numbers (0x..) that are even and in the range from 0 to 255.
258The \keyword{if} clause is optional. If omitted, all elements in
Raymond Hettinger65a350d2004-12-02 07:29:43 +0000259{}\code{range(256)} are processed.
260
261
262\index{LBYL}
263\item[LBYL]
264Look before you leap. This coding style explicitly tests for
265pre-conditions before making calls or lookups. This style contrasts
266with the \emph{EAFP} approach and is characterized by the presence of
267many \keyword{if} statements.
Skip Montanaro757dedc2003-09-24 16:51:23 +0000268
269\index{mapping}
Fred Draked4a14192003-09-27 18:59:43 +0000270\item[mapping]
271A container object (such as \class{dict}) that supports arbitrary key
272lookups using the special method \method{__getitem__()}.
Skip Montanaro757dedc2003-09-24 16:51:23 +0000273
274\index{metaclass}
Fred Draked4a14192003-09-27 18:59:43 +0000275\item[metaclass]
276The class of a class. Class definitions create a class name, a class
277dictionary, and a list of base classes. The metaclass is responsible
278for taking those three arguments and creating the class. Most object
279oriented programming languages provide a default implementation. What
280makes Python special is that it is possible to create custom
281metaclasses. Most users never need this tool, but when the need
282arises, metaclasses can provide powerful, elegant solutions. They
283have been used for logging attribute access, adding thread-safety,
284tracking object creation, implementing singletons, and many other
285tasks.
Skip Montanaro757dedc2003-09-24 16:51:23 +0000286
Skip Montanaro757dedc2003-09-24 16:51:23 +0000287\index{mutable}
Fred Draked4a14192003-09-27 18:59:43 +0000288\item[mutable]
289Mutable objects can change their value but keep their \function{id()}.
290See also \emph{immutable}.
Skip Montanaro757dedc2003-09-24 16:51:23 +0000291
292\index{namespace}
Fred Draked4a14192003-09-27 18:59:43 +0000293\item[namespace]
294The place where a variable is stored. Namespaces are implemented as
Raymond Hettinger65a350d2004-12-02 07:29:43 +0000295dictionaries. There are the local, global and builtin namespaces
296as well asnested namespaces in objects (in methods). Namespaces support
Fred Draked4a14192003-09-27 18:59:43 +0000297modularity by preventing naming conflicts. For instance, the
298functions \function{__builtin__.open()} and \function{os.open()} are
299distinguished by their namespaces. Namespaces also aid readability
300and maintainability by making it clear which modules implement a
301function. For instance, writing \function{random.seed()} or
302{}\function{itertools.izip()} makes it clear that those functions are
Fred Drake984920b2003-09-28 19:03:36 +0000303implemented by the \ulink{\module{random}}{../lib/module-random.html}
304and \ulink{\module{itertools}}{../lib/module-itertools.html} modules
305respectively.
Skip Montanaro757dedc2003-09-24 16:51:23 +0000306
307\index{nested scope}
Fred Draked4a14192003-09-27 18:59:43 +0000308\item[nested scope]
309The ability to refer to a variable in an enclosing definition. For
310instance, a function defined inside another function can refer to
311variables in the outer function. Note that nested scopes work only
Skip Montanaro757dedc2003-09-24 16:51:23 +0000312for reference and not for assignment which will always write to the
Fred Draked4a14192003-09-27 18:59:43 +0000313innermost scope. In contrast, local variables both read and write in
314the innermost scope. Likewise, global variables read and write to the
315global namespace.
Skip Montanaro757dedc2003-09-24 16:51:23 +0000316
317\index{new-style class}
Fred Draked4a14192003-09-27 18:59:43 +0000318\item[new-style class]
319Any class that inherits from \class{object}. This includes all
320built-in types like \class{list} and \class{dict}. Only new-style
321classes can use Python's newer, versatile features like
Raymond Hettinger43b5e402003-09-27 20:19:02 +0000322{}\method{__slots__}, descriptors, properties,
Fred Draked4a14192003-09-27 18:59:43 +0000323\method{__getattribute__()}, class methods, and static methods.
Skip Montanaro757dedc2003-09-24 16:51:23 +0000324
325\index{Python3000}
Fred Draked4a14192003-09-27 18:59:43 +0000326\item[Python3000]
Raymond Hettinger65a350d2004-12-02 07:29:43 +0000327A mythical python release, not required be backward compatible, with
Fred Draked4a14192003-09-27 18:59:43 +0000328telepathic interface.
Skip Montanaro757dedc2003-09-24 16:51:23 +0000329
Raymond Hettinger43b5e402003-09-27 20:19:02 +0000330\index{__slots__}
331\item[__slots__]
332A declaration inside a \emph{new-style class} that saves memory by
333pre-declaring space for instance attributes and eliminating instance
334dictionaries. Though popular, the technique is somewhat tricky to get
335right and is best reserved for rare cases where there are large
Raymond Hettinger65a350d2004-12-02 07:29:43 +0000336numbers of instances in a memory-critical application.
Raymond Hettinger43b5e402003-09-27 20:19:02 +0000337
Skip Montanaro757dedc2003-09-24 16:51:23 +0000338\index{sequence}
Fred Draked4a14192003-09-27 18:59:43 +0000339\item[sequence]
340An \emph{iterable} which supports efficient element access using
341integer indices via the \method{__getitem__()} and
342{}\method{__len__()} special methods. Some built-in sequence types
343are \class{list}, \class{str}, \class{tuple}, and \class{unicode}.
344Note that \class{dict} also supports \method{__getitem__()} and
345{}\method{__len__()}, but is considered a mapping rather than a
346sequence because the lookups use arbitrary \emph{immutable} keys
347rather than integers.
Skip Montanaro757dedc2003-09-24 16:51:23 +0000348
349\index{Zen of Python}
Fred Draked4a14192003-09-27 18:59:43 +0000350\item[Zen of Python]
351Listing of Python design principles and philosophies that are helpful
352in understanding and using the language. The listing can be found by
Raymond Hettinger43b5e402003-09-27 20:19:02 +0000353typing ``\code{import this}'' at the interactive prompt.
Skip Montanaro757dedc2003-09-24 16:51:23 +0000354
355\end{description}