source: trunk/essentials/dev-lang/python/Doc/tut/glossary.tex@ 3400

\chapter{Glossary\label{glossary}}

%%% keep the entries sorted and include at least one \index{} item for each
%%% cross-references are marked with \emph{entry}

\begin{description}


\index{>>>}
\item[\code{>>>}]
The typical Python prompt of the interactive shell.  Often seen for
code examples that can be tried right away in the interpreter.

\index{...}
\item[\code{.\code{.}.}]
The typical Python prompt of the interactive shell when entering code
for an indented code block.

\index{BDFL}
\item[BDFL]
Benevolent Dictator For Life, a.k.a. \ulink{Guido van
Rossum}{http://www.python.org/\textasciitilde{}guido/}, Python's creator.

\index{byte code}
\item[byte code]
The internal representation of a Python program in the interpreter.
The byte code is also cached in \code{.pyc} and \code{.pyo}
files so that executing the same file is faster the second time
(recompilation from source to byte code can be avoided).  This
``intermediate language'' is said to run on a ``virtual
machine'' that calls the subroutines corresponding to each bytecode.

\index{classic class}
\item[classic class]
Any class which does not inherit from \class{object}.  See
\emph{new-style class}.

\index{coercion}
\item[coercion]
The implicit conversion of an instance of one type to another during an
operation which involves two arguments of the same type.  For example,
{}\code{int(3.15)} converts the floating point number to the integer
{}\code{3}, but in {}\code{3+4.5}, each argument is of a different type (one
int, one float), and both must be converted to the same type before they can
be added or it will raise a {}\code{TypeError}.  Coercion between two
operands can be performed with the {}\code{coerce} builtin function; thus,
{}\code{3+4.5} is equivalent to calling {}\code{operator.add(*coerce(3,
4.5))} and results in {}\code{operator.add(3.0, 4.5)}.  Without coercion,
all arguments of even compatible types would have to be normalized to the
same value by the programmer, e.g., {}\code{float(3)+4.5} rather than just
{}\code{3+4.5}.

\index{complex number}
\item[complex number]
An extension of the familiar real number system in which all numbers are
expressed as a sum of a real part and an imaginary part.  Imaginary numbers
are real multiples of the imaginary unit (the square root of {}\code{-1}),
often written {}\code{i} in mathematics or {}\code{j} in engineering.
Python has builtin support for complex numbers, which are written with this
latter notation; the imaginary part is written with a {}\code{j} suffix,
e.g., {}\code{3+1j}.  To get access to complex equivalents of the
{}\module{math} module, use {}\module{cmath}.  Use of complex numbers is a
fairly advanced mathematical feature.  If you're not aware of a need for them,
it's almost certain you can safely ignore them.

\index{descriptor}
\item[descriptor]
Any \emph{new-style} object that defines the methods
{}\method{__get__()}, \method{__set__()}, or \method{__delete__()}.
When a class attribute is a descriptor, its special binding behavior
is triggered upon attribute lookup.  Normally, writing \var{a.b} looks
up the object \var{b} in the class dictionary for \var{a}, but if
{}\var{b} is a descriptor, the defined method gets called.
Understanding descriptors is a key to a deep understanding of Python
because they are the basis for many features including functions,
methods, properties, class methods, static methods, and reference to
super classes.

\index{dictionary}
\item[dictionary]
An associative array, where arbitrary keys are mapped to values.  The
use of \class{dict} much resembles that for \class{list}, but the keys
can be any object with a \method{__hash__()} function, not just
integers starting from zero.  Called a hash in Perl.

\index{duck-typing}
\item[duck-typing]
Pythonic programming style that determines an object's type by inspection
of its method or attribute signature rather than by explicit relationship
to some type object ("If it looks like a duck and quacks like a duck, it
must be a duck.")  By emphasizing interfaces rather than specific types,
well-designed code improves its flexibility by allowing polymorphic
substitution.  Duck-typing avoids tests using \function{type()} or
\function{isinstance()}. Instead, it typically employs
\function{hasattr()} tests or {}\emph{EAFP} programming.

\index{EAFP}
\item[EAFP]
Easier to ask for forgiveness than permission.  This common Python
coding style assumes the existence of valid keys or attributes and
catches exceptions if the assumption proves false.  This clean and
fast style is characterized by the presence of many \keyword{try} and
{}\keyword{except} statements.  The technique contrasts with the
{}\emph{LBYL} style that is common in many other languages such as C.

\index{__future__}
\item[__future__]
A pseudo module which programmers can use to enable new language
features which are not compatible with the current interpreter.  For
example, the expression \code{11/4} currently evaluates to \code{2}.
If the module in which it is executed had enabled \emph{true division}
by executing:

\begin{verbatim}
from __future__ import division
\end{verbatim}

the expression \code{11/4} would evaluate to \code{2.75}.  By
importing the \ulink{\module{__future__}}{../lib/module-future.html}
module and evaluating its variables, you can see when a new feature
was first added to the language and when it will become the default:

\begin{verbatim}
>>> import __future__
>>> __future__.division
_Feature((2, 2, 0, 'alpha', 2), (3, 0, 0, 'alpha', 0), 8192)
\end{verbatim}

\index{generator}
\item[generator]
A function that returns an iterator.  It looks like a normal function except
that values are returned to the caller using a \keyword{yield} statement
instead of a {}\keyword{return} statement.  Generator functions often
contain one or more {}\keyword{for} or \keyword{while} loops that
\keyword{yield} elements back to the caller.  The function execution is
stopped at the {}\keyword{yield} keyword (returning the result) and is
resumed there when the next element is requested by calling the
\method{next()} method of the returned iterator.

\index{generator expression}
\item[generator expression]
An expression that returns a generator.  It looks like a normal expression
followed by a \keyword{for} expression defining a loop variable, range, and
an optional \keyword{if} expression.  The combined expression generates
values for an enclosing function:

\begin{verbatim}
>>> sum(i*i for i in range(10))         # sum of squares 0, 1, 4, ... 81
285
\end{verbatim}

\index{GIL}
\item[GIL]
See \emph{global interpreter lock}.

\index{global interpreter lock}
\item[global interpreter lock]
The lock used by Python threads to assure that only one thread can be
run at a time.  This simplifies Python by assuring that no two
processes can access the same memory at the same time.  Locking the
entire interpreter makes it easier for the interpreter to be
multi-threaded, at the expense of some parallelism on multi-processor
machines.  Efforts have been made in the past to create a
``free-threaded'' interpreter (one which locks shared data at a much
finer granularity), but performance suffered in the common
single-processor case.

\index{IDLE}
\item[IDLE]
An Integrated Development Environment for Python.  IDLE is a
basic editor and interpreter environment that ships with the standard
distribution of Python.  Good for beginners, it also serves as clear
example code for those wanting to implement a moderately
sophisticated, multi-platform GUI application.

\index{immutable}
\item[immutable]
An object with fixed value.  Immutable objects are numbers, strings or
tuples (and more).  Such an object cannot be altered.  A new object
has to be created if a different value has to be stored.  They play an
important role in places where a constant hash value is needed, for
example as a key in a dictionary.

\index{integer division}
\item[integer division]
Mathematical division discarding any remainder.  For example, the
expression \code{11/4} currently evaluates to \code{2} in contrast
to the \code{2.75} returned by float division.  Also called
{}\emph{floor division}.  When dividing two integers the outcome will
always be another integer (having the floor function applied to it).
However, if one of the operands is another numeric type (such as a
{}\class{float}), the result will be coerced (see \emph{coercion}) to
a common type.  For example, an integer divided by a float will result
in a float value, possibly with a decimal fraction.  Integer division
can be forced by using the \code{//} operator instead of the \code{/}
operator.  See also \emph{__future__}.

\index{interactive}
\item[interactive]
Python has an interactive interpreter which means that you can try out
things and immediately see their results.  Just launch \code{python} with no
arguments (possibly by selecting it from your computer's main menu).
It is a very powerful way to test out new ideas or inspect modules and
packages (remember \code{help(x)}).

\index{interpreted}
\item[interpreted]
Python is an interpreted language, as opposed to a compiled one.  This means
that the source files can be run directly without first creating an
executable which is then run.  Interpreted languages typically have a
shorter development/debug cycle than compiled ones, though their programs
generally also run more slowly.  See also {}\emph{interactive}.

\index{iterable}
\item[iterable]
A container object capable of returning its members one at a time.
Examples of iterables include all sequence types (such as \class{list},
{}\class{str}, and \class{tuple}) and some non-sequence types like
{}\class{dict} and \class{file} and objects of any classes you define
with an \method{__iter__()} or \method{__getitem__()} method.  Iterables
can be used in a \keyword{for} loop and in many other places where a
sequence is needed (\function{zip()}, \function{map()}, ...).  When an
iterable object is passed as an argument to the builtin function
{}\function{iter()}, it returns an iterator for the object.  This
iterator is good for one pass over the set of values.  When using
iterables, it is usually not necessary to call \function{iter()} or
deal with iterator objects yourself.  The \code{for} statement does
that automatically for you, creating a temporary unnamed variable to
hold the iterator for the duration of the loop.  See also
{}\emph{iterator}, \emph{sequence}, and \emph{generator}.

\index{iterator}
\item[iterator]
An object representing a stream of data.  Repeated calls to the
iterator's \method{next()} method return successive items in the
stream.  When no more data is available a \exception{StopIteration}
exception is raised instead.  At this point, the iterator object is
exhausted and any further calls to its \method{next()} method just
raise \exception{StopIteration} again.  Iterators are required to have
an \method{__iter__()} method that returns the iterator object
itself so every iterator is also iterable and may be used in most
places where other iterables are accepted.  One notable exception is
code that attempts multiple iteration passes.  A container object
(such as a \class{list}) produces a fresh new iterator each time you
pass it to the \function{iter()} function or use it in a
{}\keyword{for} loop.  Attempting this with an iterator will just
return the same exhausted iterator object used in the previous iteration
pass, making it appear like an empty container.

\index{LBYL}
\item[LBYL]
Look before you leap.  This coding style explicitly tests for
pre-conditions before making calls or lookups.  This style contrasts
with the \emph{EAFP} approach and is characterized by the presence of
many \keyword{if} statements.

\index{list comprehension}
\item[list comprehension]
A compact way to process all or a subset of elements in a sequence and
return a list with the results.  \code{result = ["0x\%02x"
\% x for x in range(256) if x \% 2 == 0]} generates a list of strings
containing hex numbers (0x..) that are even and in the range from 0 to 255.
The \keyword{if} clause is optional.  If omitted, all elements in
{}\code{range(256)} are processed.

\index{mapping}
\item[mapping]
A container object (such as \class{dict}) that supports arbitrary key
lookups using the special method \method{__getitem__()}.

\index{metaclass}
\item[metaclass]
The class of a class.  Class definitions create a class name, a class
dictionary, and a list of base classes.  The metaclass is responsible
for taking those three arguments and creating the class.  Most object
oriented programming languages provide a default implementation.  What
makes Python special is that it is possible to create custom
metaclasses.  Most users never need this tool, but when the need
arises, metaclasses can provide powerful, elegant solutions.  They
have been used for logging attribute access, adding thread-safety,
tracking object creation, implementing singletons, and many other
tasks.

\index{mutable}
\item[mutable]
Mutable objects can change their value but keep their \function{id()}.
See also \emph{immutable}.

\index{namespace}
\item[namespace]
The place where a variable is stored.  Namespaces are implemented as
dictionaries.  There are the local, global and builtin namespaces
as well as nested namespaces in objects (in methods).  Namespaces support
modularity by preventing naming conflicts.  For instance, the
functions \function{__builtin__.open()} and \function{os.open()} are
distinguished by their namespaces.  Namespaces also aid readability
and maintainability by making it clear which module implements a
function.  For instance, writing \function{random.seed()} or
{}\function{itertools.izip()} makes it clear that those functions are
implemented by the \ulink{\module{random}}{../lib/module-random.html}
and \ulink{\module{itertools}}{../lib/module-itertools.html} modules
respectively.

\index{nested scope}
\item[nested scope]
The ability to refer to a variable in an enclosing definition.  For
instance, a function defined inside another function can refer to
variables in the outer function.  Note that nested scopes work only
for reference and not for assignment which will always write to the
innermost scope.  In contrast, local variables both read and write in
the innermost scope.  Likewise, global variables read and write to the
global namespace.

\index{new-style class}
\item[new-style class]
Any class that inherits from \class{object}.  This includes all
built-in types like \class{list} and \class{dict}.  Only new-style
classes can use Python's newer, versatile features like
{}\method{__slots__}, descriptors, properties,
\method{__getattribute__()}, class methods, and static methods.

\index{Python3000}
\item[Python3000]
A mythical python release, not required to be backward compatible, with
telepathic interface.

\index{__slots__}
\item[__slots__]
A declaration inside a \emph{new-style class} that saves memory by
pre-declaring space for instance attributes and eliminating instance
dictionaries.  Though popular, the technique is somewhat tricky to get
right and is best reserved for rare cases where there are large
numbers of instances in a memory-critical application.

\index{sequence}
\item[sequence]
An \emph{iterable} which supports efficient element access using
integer indices via the \method{__getitem__()} and
{}\method{__len__()} special methods.  Some built-in sequence types
are \class{list}, \class{str}, \class{tuple}, and \class{unicode}.
Note that \class{dict} also supports \method{__getitem__()} and
{}\method{__len__()}, but is considered a mapping rather than a
sequence because the lookups use arbitrary \emph{immutable} keys
rather than integers.

\index{Zen of Python}
\item[Zen of Python]
Listing of Python design principles and philosophies that are helpful
in understanding and using the language.  The listing can be found by
typing ``\code{import this}'' at the interactive prompt.

\end{description}