
The
syntax
In linguistics, syntax ( ) is the study of how words and morphemes combine to form larger units such as phrases and sentences. Central concerns of syntax include word order, grammatical relations, hierarchical sentence structure (constituenc ...
of the
Python programming language is the set of rules that defines how a Python program will be written and
interpreted (by both the
runtime system
In computer programming, a runtime system or runtime environment is a sub-system that exists in the computer where a program is created, as well as in the computers where the program is intended to be run. The name comes from the compile time ...
and by human readers). The
Python language has many similarities to
Perl
Perl is a high-level, general-purpose, interpreted, dynamic programming language. Though Perl is not officially an acronym, there are various backronyms in use, including "Practical Extraction and Reporting Language".
Perl was developed ...
,
C, and
Java
Java is one of the Greater Sunda Islands in Indonesia. It is bordered by the Indian Ocean to the south and the Java Sea (a part of Pacific Ocean) to the north. With a population of 156.9 million people (including Madura) in mid 2024, proje ...
. However, there are some definite differences between the languages. It supports multiple
programming paradigm
A programming paradigm is a relatively high-level way to conceptualize and structure the implementation of a computer program. A programming language can be classified as supporting one or more paradigms.
Paradigms are separated along and descri ...
s, including structured,
object-oriented programming
Object-oriented programming (OOP) is a programming paradigm based on the concept of '' objects''. Objects can contain data (called fields, attributes or properties) and have actions they can perform (called procedures or methods and impl ...
, and
functional programming
In computer science, functional programming is a programming paradigm where programs are constructed by Function application, applying and Function composition (computer science), composing Function (computer science), functions. It is a declarat ...
, and boasts a dynamic type system and automatic memory management.
Python's
syntax
In linguistics, syntax ( ) is the study of how words and morphemes combine to form larger units such as phrases and sentences. Central concerns of syntax include word order, grammatical relations, hierarchical sentence structure (constituenc ...
is simple and consistent, adhering to the principle that "There should be one— and preferably only one —obvious way to do it." The language incorporates built-in data types and structures, control flow mechanisms,
first-class functions, and modules for better
code
In communications and information processing, code is a system of rules to convert information—such as a letter, word, sound, image, or gesture—into another form, sometimes shortened or secret, for communication through a communicati ...
reusability and organization.
Python also uses
English keywords where other languages use punctuation, contributing to its uncluttered visual layout.
The language provides robust error handling through exceptions, and includes a
debugger
A debugger is a computer program used to test and debug other programs (the "target" programs). Common features of debuggers include the ability to run or halt the target program using breakpoints, step through code line by line, and display ...
in the standard library for efficient problem-solving. Python's syntax, designed for readability and ease of use, makes it a popular choice among beginners and professionals alike.
Design philosophy
Python was designed to be a highly
readable language. It has a relatively uncluttered visual layout and uses English keywords frequently where other languages
use punctuation. Python aims to be simple and consistent in the design of its syntax, encapsulated in the mantra , from the
Zen of Python
The Zen of Python is a collection of 19 Coding conventions, "guiding principles" for writing computer programs that influence the design of the Python (programming language), Python programming language. Python code that aligns with these principl ...
.
This mantra is deliberately opposed to the
Perl
Perl is a high-level, general-purpose, interpreted, dynamic programming language. Though Perl is not officially an acronym, there are various backronyms in use, including "Practical Extraction and Reporting Language".
Perl was developed ...
and
Ruby
Ruby is a pinkish-red-to-blood-red-colored gemstone, a variety of the mineral corundum ( aluminium oxide). Ruby is one of the most popular traditional jewelry gems and is very durable. Other varieties of gem-quality corundum are called sapph ...
mantra, "
there's more than one way to do it
Perl is a high-level, general-purpose, interpreted, dynamic programming language. Though Perl is not officially an acronym, there are various backronyms in use, including "Practical Extraction and Reporting Language".
Perl was developed b ...
".
Keywords
Python has 35
keywords or ''reserved words''; they cannot be used as
identifiers
An identifier is a name that identifies (that is, labels the identity of) either a unique object or a unique ''class'' of objects, where the "object" or class may be an idea, person, physical countable object (or class thereof), or physical mass ...
.
*
and
*
as
*
assert
*
async
*
await
*
break
*
class
*
continue
*
def
*
del
*
elif
*
else
*
except
*
False
*
finally
*
for
*
from
*
global
*
if
*
import
*
in
*
is
*
lambda
*
None
*
nonlocal
*
not
*
or
*
pass
*
raise
*
return
*
True
*
try
*
while
*
with
*
yield
In addition, Python also has 3 ''soft keywords''. Unlike regular ''hard keywords'', soft keywords are reserved words only in the limited contexts where interpreting them as keywords would make syntactic sense. These words can be used as identifiers elsewhere, in other words, ''match'' and ''case'' are valid names for functions and variables.
*
_
*
case
*
match
;Notes
Indentation
Python uses
whitespace to delimit
control flow
In computer science, control flow (or flow of control) is the order in which individual statements, instructions or function calls of an imperative program are executed or evaluated. The emphasis on explicit control flow distinguishes an '' ...
blocks (following the
off-side rule). Python borrows this feature from its predecessor
ABC: instead of punctuation or keywords, it uses indentation to indicate the run of a
block.
In so-called "free-format" languages—that use the block structure derived from
ALGOL
ALGOL (; short for "Algorithmic Language") is a family of imperative computer programming languages originally developed in 1958. ALGOL heavily influenced many other languages and was the standard method for algorithm description used by the ...
—blocks of code are set off with braces (
) or keywords. In most
coding conventions
Coding conventions are a set of guidelines for a specific programming language that recommend programming style, practices, and methods for each aspect of a program written in that language. These conventions usually cover file organization, i ...
for these languages, programmers
conventionally indent the code within a block, to visually set it apart from the surrounding code.
A
recursive function named
foo
, which is passed a single
parameter
A parameter (), generally, is any characteristic that can help in defining or classifying a particular system (meaning an event, project, object, situation, etc.). That is, a parameter is an element of a system that is useful, or critical, when ...
,
x
, and if the parameter is 0 will call a different function named
bar
and otherwise will call
baz
, passing
x
, and also call itself recursively, passing
x-1
as the parameter, could be implemented like this in Python:
def foo(x):
if x 0:
bar()
else:
baz(x)
foo(x - 1)
and could be written like this in
C with
K&R indent style:
void foo(int x)
Incorrectly indented code could be misread by a human reader differently than it would be interpreted by a
compiler
In computing, a compiler is a computer program that Translator (computing), translates computer code written in one programming language (the ''source'' language) into another language (the ''target'' language). The name "compiler" is primaril ...
or interpreter. For example, if the function call
foo(x - 1)
on the last line in the example above was erroneously indented to be outside the
if
/
else
block:
def foo(x):
if x 0:
bar()
else:
baz(x)
foo(x - 1)
it would cause the last line to always be executed, even when
x
is 0, resulting in an
endless recursion.
While both
space
Space is a three-dimensional continuum containing positions and directions. In classical physics, physical space is often conceived in three linear dimensions. Modern physicists usually consider it, with time, to be part of a boundless ...
and
tab characters are accepted as forms of indentation and any multiple of spaces can be used, spaces are recommended and 4 spaces (as in the above examples) are recommended and are by far the most commonly used. Mixing spaces and tabs on consecutive lines is not allowed starting with Python 3 because that can create bugs which are difficult to see, since many text editors do not visually distinguish spaces and tabs.
Data structures
Since Python is a
dynamically-typed language, Python ''values,'' not variables, carry
type information. All
variables in Python hold
references
A reference is a relationship between Object (philosophy), objects in which one object designates, or acts as a means by which to connect to or link to, another object. The first object in this relation is said to ''refer to'' the second object. ...
to
objects, and these references are passed to functions. Some people (including
Guido van Rossum himself) have called this parameter-passing scheme "call by object reference". An object reference means a name, and the passed reference is an "alias", i.e. a copy of the reference to the same object, just as in C/
C++. The object's value may be changed in the called function with the "alias", for example:
>>> alist = a', 'b', 'c'>>> def my_func(al):
... al.append('x')
... print(al)
...
>>> my_func(alist)
a', 'b', 'c', 'x'>>> alist
a', 'b', 'c', 'x'
Function
my_func
changes the value of
alist
with the formal argument
al
, which is an alias of
alist
. However, any attempt to operate (assign a new object reference to) on the alias itself will have no effect on the original object.
>>> alist = a', 'b', 'c'>>> def my_func(al):
... # al.append('x')
... al = al + x'# a new list created and assigned to al means al is no more alias for alist
... print(al)
...
>>> my_func(alist)
a', 'b', 'c', 'x'>>> print(alist)
a', 'b', 'c'
In Python, non-innermost-local and not-declared-global accessible names are all aliases.
Among dynamically-typed languages, Python is moderately type-checked. Implicit
conversion is defined for
numeric types (as well as
booleans), so one may validly multiply a
complex number
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the for ...
by an
integer
An integer is the number zero (0), a positive natural number (1, 2, 3, ...), or the negation of a positive natural number (−1, −2, −3, ...). The negations or additive inverses of the positive natural numbers are referred to as negative in ...
(for instance) without explicit
casting
Casting is a manufacturing process in which a liquid material is usually poured into a mold, which contains a hollow cavity of the desired shape, and then allowed to solidify. The solidified part is also known as a casting, which is ejected or ...
. However, there is no implicit conversion between, for example, numbers and
strings; a string is an invalid argument to a mathematical function expecting a number.
Base types
Python has a broad range of basic data types. Alongside conventional integer and
floating-point
In computing, floating-point arithmetic (FP) is arithmetic on subsets of real numbers formed by a ''significand'' (a Sign (mathematics), signed sequence of a fixed number of digits in some Radix, base) multiplied by an integer power of that ba ...
arithmetic, it transparently supports
arbitrary-precision arithmetic,
complex number
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the for ...
s, and
decimal numbers.
Python supports a wide variety of string operations. Strings in Python are
immutable, so a string operation such as a substitution of
characters, that in other programming languages might alter the string
in place, returns a new string in Python. Performance considerations sometimes push for using special techniques in programs that modify strings intensively, such as joining character arrays into strings only as needed.
Collection types
One of the very useful aspects of Python is the concept of
''collection'' (or ''container'') types. In general a collection is an object that contains other objects in a way that is easily referenced or ''indexed''. Collections come in two basic forms: ''sequences'' and ''mappings''.
The ordered sequential types are lists (dynamic
arrays
An array is a systematic arrangement of similar objects, usually in rows and columns.
Things called an array include:
{{TOC right
Music
* In twelve-tone and serial composition, the presentation of simultaneous twelve-tone sets such that the ...
),
tuple
In mathematics, a tuple is a finite sequence or ''ordered list'' of numbers or, more generally, mathematical objects, which are called the ''elements'' of the tuple. An -tuple is a tuple of elements, where is a non-negative integer. There is o ...
s, and strings. All sequences are indexed positionally (
0 through ''length'' - 1) and all but strings can contain any type of object, including multiple types in the same sequence. Both strings and tuples are immutable, making them perfect candidates for dictionary keys (see below). Lists, on the other hand, are mutable; elements can be inserted, deleted, modified, appended, or sorted
in-place.
Mappings, on the other hand, are (often unordered) types implemented in the form of ''dictionaries'' which "map" a set of immutable keys to corresponding elements (much like a mathematical function). For example, one could define a dictionary having a string
"toast"
mapped to the integer
42
or vice versa. The keys in a dictionary must be of an immutable Python type, such as an integer or a string, because under the hood they are implemented via a
hash function
A hash function is any Function (mathematics), function that can be used to map data (computing), data of arbitrary size to fixed-size values, though there are some hash functions that support variable-length output. The values returned by a ...
. This makes for much faster lookup times, but requires keys not change.
Dictionaries are central to the internals of Python as they reside at the core of all objects and classes: the mappings between variable names (strings) and the values which the names reference are stored as dictionaries (see
Object system). Since these dictionaries are directly accessible (via an object's
__dict__
attribute),
metaprogramming
Metaprogramming is a computer programming technique in which computer programs have the ability to treat other programs as their data. It means that a program can be designed to read, generate, analyse, or transform other programs, and even modi ...
is a straightforward and natural process in Python.
A
set
Set, The Set, SET or SETS may refer to:
Science, technology, and mathematics Mathematics
*Set (mathematics), a collection of elements
*Category of sets, the category whose objects and morphisms are sets and total functions, respectively
Electro ...
collection type is an unindexed, unordered collection that contains no duplicates, and implements
set theoretic operations such as
union,
intersection
In mathematics, the intersection of two or more objects is another object consisting of everything that is contained in all of the objects simultaneously. For example, in Euclidean geometry, when two lines in a plane are not parallel, their ...
,
difference,
symmetric difference
In mathematics, the symmetric difference of two sets, also known as the disjunctive union and set sum, is the set of elements which are in either of the sets, but not in their intersection. For example, the symmetric difference of the sets \ and ...
, and
subset
In mathematics, a Set (mathematics), set ''A'' is a subset of a set ''B'' if all Element (mathematics), elements of ''A'' are also elements of ''B''; ''B'' is then a superset of ''A''. It is possible for ''A'' and ''B'' to be equal; if they a ...
testing. There are two types of sets:
set
and
frozenset
, the only difference being that
set
is mutable and
frozenset
is immutable. Elements in a set must be hashable. Thus, for example, a
frozenset
can be an element of a regular
set
whereas the opposite is not true.
Python also provides extensive collection manipulating abilities such as built in containment checking and a generic iteration protocol.
Object system
In Python, everything is an object, even classes. Classes, as objects, have a class, which is known as their
metaclass. Python also supports
multiple inheritance and
mixins.
The language supports extensive
introspection
Introspection is the examination of one's own conscious thoughts and feelings. In psychology, the process of introspection relies on the observation of one's mental state, while in a spiritual context it may refer to the examination of one's s ...
of types and classes. Types can be read and compared—types are instances of
type
. The attributes of an object can be extracted as a dictionary.
Operators can be
overloaded in Python by defining special member functions—for instance, defining a method named
__add__
on a class permits one to use the
+
operator on objects of that class.
Literals
Strings
Python has various kinds of
string literal
string literal or anonymous string is a literal for a string value in the source code of a computer program. Modern programming languages commonly use a quoted sequence of characters, formally "bracketed delimiters", as in x = "foo", where , "foo ...
s.
Normal string literals
Either single or double quotes can be used to quote strings. Unlike in Unix shell languages,
Perl
Perl is a high-level, general-purpose, interpreted, dynamic programming language. Though Perl is not officially an acronym, there are various backronyms in use, including "Practical Extraction and Reporting Language".
Perl was developed ...
or Perl-influenced languages such as
Ruby
Ruby is a pinkish-red-to-blood-red-colored gemstone, a variety of the mineral corundum ( aluminium oxide). Ruby is one of the most popular traditional jewelry gems and is very durable. Other varieties of gem-quality corundum are called sapph ...
or
Groovy
''Groovy'' (or, less commonly, ''groovie'' or ''groovey'') is a slang colloquialism popular during the 1960s and 1970s. It is roughly synonymous with words such as "excellent", "fashionable", or "amazing", depending on context.
History
The word ...
, single quotes and double quotes function identically, i.e. there is no string interpolation of ''$foo'' expressions. However, interpolation can be done in various ways: with "f-strings" (since Python 3.6), using the
format
method or the old ''%'' string-format operator.
For instance, all of these Python statements:
print(f"I just printed pages to the printer ")
print("I just printed pages to the printer ".format(num, printer))
print("I just printed pages to the printer ".format(num, printer))
print("I just printed pages to the printer ".format(num=num, printer=printer))
print("I just printed %s pages to the printer %s" % (num, printer))
print("I just printed %(num)s pages to the printer %(printer)s" % )
are equivalent to the Perl statement:
print "I just printed $num pages to the printer $printer\n"
They build a string using the variables
num
and
printer
.
Multi-line string literals
There are also multi-line strings, which begin and end with a series of three single or double quotes and function like
here documents in
Perl
Perl is a high-level, general-purpose, interpreted, dynamic programming language. Though Perl is not officially an acronym, there are various backronyms in use, including "Practical Extraction and Reporting Language".
Perl was developed ...
and
Ruby
Ruby is a pinkish-red-to-blood-red-colored gemstone, a variety of the mineral corundum ( aluminium oxide). Ruby is one of the most popular traditional jewelry gems and is very durable. Other varieties of gem-quality corundum are called sapph ...
.
A simple example with
variable interpolation (using the
format
method) is:
print(Dear ,
I wish you to leave Sunnydale and never return.
Not Quite Love,
.format(sender="Buffy the Vampire Slayer", recipient="Spike"))
Raw strings
Finally, all of the previously mentioned string types come in "
raw" varieties (denoted by placing a literal ''r'' before the opening quote), which do no backslash-interpolation and hence are very useful for
regular expression
A regular expression (shortened as regex or regexp), sometimes referred to as rational expression, is a sequence of characters that specifies a match pattern in text. Usually such patterns are used by string-searching algorithms for "find" ...
s; compare
"@-quoting" in
C#. Raw strings were originally included specifically for regular expressions. Due to limitations of the tokenizer, raw strings may not have a trailing backslash. Creating a raw string holding a
Windows
Windows is a Product lining, product line of Proprietary software, proprietary graphical user interface, graphical operating systems developed and marketed by Microsoft. It is grouped into families and subfamilies that cater to particular sec ...
path ending with a backslash requires some variety of workaround (commonly, using forward slashes instead of backslashes, since Windows accepts both).
Examples include:
>>> # A Windows path, even raw strings cannot end in a backslash
>>> r"C:\Foo\Bar\Baz\"
File "", line 1
r"C:\Foo\Bar\Baz\"
^
SyntaxError: EOL while scanning string literal
>>> dos_path = r"C:\Foo\Bar\Baz\ " # avoids the error by adding
>>> dos_path.rstrip() # and removing trailing space
'C:\\Foo\\Bar\\Baz\\'
>>> quoted_dos_path = r'""'.format(dos_path)
>>> quoted_dos_path
'"C:\\Foo\\Bar\\Baz\\ "'
>>> # A regular expression matching a quoted string with possible backslash quoting
>>> re.match(r'"(( "\\\\.)*)"', quoted_dos_path).group(1).rstrip()
'C:\\Foo\\Bar\\Baz\\'
>>> code = 'foo(2, bar)'
>>> # Reverse the arguments in a two-arg function call
>>> re.sub(r'\(( ,?),( ,?)\)', r'(\2, \1)', code)
'foo(2, bar)'
>>> # Note that this won't work if either argument has parens or commas in it.
Concatenation of adjacent string literals
String literals (using possibly different quote conventions) appearing contiguously and only separated by whitespace (including new lines), are allowed and are aggregated into a single longer string.
Thus
title = "One Good Turn: " \
'A Natural History of the Screwdriver and the Screw'
is equivalent to
title = "One Good Turn: A Natural History of the Screwdriver and the Screw"
Unicode
Since Python 3.0, the default character set is
UTF-8
UTF-8 is a character encoding standard used for electronic communication. Defined by the Unicode Standard, the name is derived from ''Unicode Transformation Format 8-bit''. Almost every webpage is transmitted as UTF-8.
UTF-8 supports all 1,112,0 ...
both for source code and the interpreter. In UTF-8, unicode strings are handled like traditional byte strings. This example will work:
s = "Γειά" # Hello in Greek
print(s)
Numbers
Numeric literals in Python are of the normal sort, e.g.
0
,
-1
,
3.4
,
3.5e-8
.
Python has arbitrary-length integers and automatically increases their storage size as necessary. Prior to Python 3, there were two kinds of integral numbers: traditional fixed size integers and "long" integers of arbitrary size. The conversion to "long" integers was performed automatically when required, and thus the programmer usually didn't have to be aware of the two integral types. In newer language versions the distinction is completely gone and all integers behave like arbitrary-length integers.
Python supports normal
floating point numbers, which are created when a dot is used in a literal (e.g.
1.1
), when an integer and a floating point number are used in an expression, or as a result of some mathematical operations ("true division" via the
/
operator, or exponentiation with a negative exponent).
Python also supports
complex number
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the for ...
s natively. Complex numbers are indicated with the
J
or
j
suffix, e.g.
3 + 4j
.
Lists, tuples, sets, dictionaries
Python has syntactic support for the creation of container types.
Lists (class
list
) are mutable sequences of items of arbitrary types, and can be created either with the special syntax
a_list = , 2, 3, "a dog"
or using normal object creation
a_second_list = []
a_second_list.append(4)
a_second_list.append(5)
Tuples (class
tuple
) are immutable sequences of items of arbitrary types. There is also a special syntax to create tuples
a_tuple = 1, 2, 3, "four"
a_tuple = (1, 2, 3, "four")
Although tuples are created by separating items with commas, the whole construct is usually wrapped in parentheses to increase readability. An empty tuple is denoted by
()
, while a tuple with a single value can be created with
(1,)
.
Sets (class
set
) are mutable containers of hashable items of arbitrary types, with no duplicates. The items are not ordered, but sets support iteration over the items. The syntax for set creation uses curly brackets
some_set =
Python sets are very much like
mathematical sets, and support operations like set
intersection
In mathematics, the intersection of two or more objects is another object consisting of everything that is contained in all of the objects simultaneously. For example, in Euclidean geometry, when two lines in a plane are not parallel, their ...
and
union. Python also features a
frozenset
class for immutable sets, see
Collection types.
Dictionaries (class
dict
) are mutable mappings tying keys and corresponding values. Python has special syntax to create dictionaries (
)
a_dictionary =
The dictionary syntax is similar to the set syntax, the difference is the presence of colons. The empty literal
results in an empty dictionary rather than an empty set, which is instead created using the non-literal constructor:
set()
.
Operators
Arithmetic
Python includes the
+
,
-
,
*
,
/
("true division"),
//
(
floor
A floor is the bottom surface of a room or vehicle. Floors vary from wikt:hovel, simple dirt in a cave to many layered surfaces made with modern technology. Floors may be stone, wood, bamboo, metal or any other material that can support the ex ...
division),
%
(
modulus), and
**
(
exponentiation
In mathematics, exponentiation, denoted , is an operation (mathematics), operation involving two numbers: the ''base'', , and the ''exponent'' or ''power'', . When is a positive integer, exponentiation corresponds to repeated multiplication ...
) operators, with their usual
mathematical precedence.
In Python 3,
x / y
performs "true division", meaning that it always returns a float, even if both
x
and
y
are integers that divide evenly.
>>> 4 / 2
2.0
and
//
performs
integer division or ''floor division'', returning the floor of the quotient as an integer.
In Python 2 (and most other programming languages), unless explicitly requested,
x / y
performed
integer division, returning a float only if either input was a float. However, because Python is a dynamically-typed language, it was not always possible to tell which operation was being performed, which often led to subtle bugs, thus prompting the introduction of the
//
operator and the change in semantics of the
/
operator in Python 3.
Comparison operators
The comparison operators, i.e.
,
!=
,
<
,
>
,
<=
,
>=
,
is
,
is not
,
in
and
not in
are used on all manner of values. Numbers, strings, sequences, and mappings can all be compared. In Python 3, disparate types (such as a
str
and an
int
) do not have a consistent relative ordering, and attempts to compare these types raises a
TypeError
exception. While it was possible to compare disparate types in Python 2 (for example, whether a string was greater-than or less-than an integer), the ordering was undefined; this was considered a historical design quirk and was ultimately removed in Python 3.
Chained comparison expressions such as
a < b < c
have roughly the meaning that they have in mathematics, rather than the unusual meaning found in
C and similar languages. The terms are evaluated and compared in order. The operation has
short-circuit semantics, meaning that evaluation is guaranteed to stop as soon as a verdict is clear: if
a < b
is false,
c
is never evaluated as the expression cannot possibly be true anymore.
For expressions without side effects,
a < b < c
is equivalent to
a < b and b < c
. However, there is a substantial difference when the expressions have side effects.
a < f(x) < b
will evaluate
f(x)
exactly once, whereas
a < f(x) and f(x) < b
will evaluate it twice if the value of
a
is less than
f(x)
and once otherwise.
Logical operators
In all versions of Python, boolean operators treat zero values or empty values such as
""
,
0
,
None
,
0.0
,
[]
, and
as false, while in general treating non-empty, non-zero values as true. The boolean values
True
and
False
were added to the language in Python 2.2.1 as constants (subclassed from
1
and
0
) and were changed to be full blown keywords in Python 3. The binary comparison operators such as
and
>
return either
True
or
False
.
The boolean operators
and
and
or
use
minimal evaluation. For example,
y 0 or x/y > 100
will never raise a divide-by-zero exception. These operators return the value of the last operand evaluated, rather than
True
or
False
. Thus the expression
(4 and 5)
evaluates to
5
, and
(4 or 5)
evaluates to
4
.
Functional programming
A strength of Python is the availability of a
functional programming
In computer science, functional programming is a programming paradigm where programs are constructed by Function application, applying and Function composition (computer science), composing Function (computer science), functions. It is a declarat ...
style, which makes working with lists and other collections much more straightforward.
Comprehensions
One such construction is the
list comprehension, which can be expressed with the following format:
L = apping_expression for element in source_list if filter_expression
Using list comprehension to calculate the first five powers of two:
powers_of_two = **n for n in range(1, 6)
The
Quicksort
Quicksort is an efficient, general-purpose sorting algorithm. Quicksort was developed by British computer scientist Tony Hoare in 1959 and published in 1961. It is still a commonly used algorithm for sorting. Overall, it is slightly faster than ...
algorithm can be expressed elegantly (albeit inefficiently) using list comprehensions:
def qsort(L):
if L []:
return []
pivot = L[0]
return (qsort([x for x in L[1:] if x < pivot]) +
[pivot] +
qsort([x for x in L[1:] if x >= pivot]))
Python 2.7+ also supports set comprehensions and dictionary comprehensions.
First-class functions
In Python, functions are
first-class objects that can be created and passed around dynamically.
Python's limited support for
anonymous functions is the
lambda
construct. An example is the anonymous function which squares its input, called with the argument of 5:
f = lambda x: x**2
f(5)
Lambdas are limited to containing an
expression rather than
statements, although control flow can still be implemented less elegantly within lambda by using short-circuiting, and more idiomatically with conditional expressions.
Closures
Python has had support for
lexical closures since version 2.2. Here's an example function that returns a function that
approximates the derivative of the given function:
def derivative(f, dx):
"""Return a function that approximates the derivative of f
using an interval of dx, which should be appropriately small.
"""
def function(x):
return (f(x + dx) - f(x)) / dx
return function
Python's syntax, though, sometimes leads programmers of other languages to think that closures are not supported.
Variable scope in Python is implicitly determined by the scope in which one assigns a value to the variable, unless scope is explicitly declared with
global
or
nonlocal
.
Note that the closure's binding of a name to some value is not mutable from within the function. Given:
>>> def foo(a, b):
... print(f'a: ')
... print(f'b: ')
... def bar(c):
... b = c
... print(f'b*: ')
... bar(a)
... print(f'b: ')
...
>>> foo(1, 2)
a: 1
b: 2
b*: 1
b: 2
and you can see that
b
, as visible from the closure's scope, retains the value it had; the changed binding of
b
inside the inner function did not propagate out. The way around this is to use a
nonlocal b
statement in
bar
. In Python 2 (which lacks
nonlocal
), the usual workaround is to use a mutable value and change that value, not the binding. E.g., a list with one element.
Generators
Introduced in Python 2.2 as an optional feature and finalized in version 2.3,
generators are Python's mechanism for
lazy evaluation
In programming language theory, lazy evaluation, or call-by-need, is an evaluation strategy which delays the evaluation of an Expression (computer science), expression until its value is needed (non-strict evaluation) and which avoids repeated eva ...
of a function that would otherwise return a space-prohibitive or computationally intensive list.
This is an example to lazily generate the prime numbers:
from itertools import count
def generate_primes(stop_at=None):
primes = []
for n in count(start=2):
if stop_at is not None and n > stop_at:
return # raises the StopIteration exception
composite = False
for p in primes:
if not n % p:
composite = True
break
elif p ** 2 > n:
break
if not composite:
primes.append(n)
yield n
When calling this function, the returned value can be iterated over much like a list:
for i in generate_primes(100): # iterate over the primes between 0 and 100
print(i)
for i in generate_primes(): # iterate over ALL primes indefinitely
print(i)
The definition of a generator appears identical to that of a function, except the keyword
yield
is used in place of
return
. However, a generator is an object with persistent state, which can repeatedly enter and leave the same scope. A generator call can then be used in place of a list, or other structure whose elements will be iterated over. Whenever the
for
loop in the example requires the next item, the generator is called, and yields the next item.
Generators don't have to be infinite like the prime-number example above. When a generator terminates, an internal exception is raised which indicates to any calling context that there are no more values. A
for
loop or other iteration will then terminate.
Generator expressions
Introduced in Python 2.4, generator expressions are the
lazy evaluation
In programming language theory, lazy evaluation, or call-by-need, is an evaluation strategy which delays the evaluation of an Expression (computer science), expression until its value is needed (non-strict evaluation) and which avoids repeated eva ...
equivalent of list comprehensions. Using the prime number generator provided in the above section, we might define a lazy, but not quite infinite collection.
from itertools import islice
primes_under_million = (i for i in generate_primes() if i < 1000000)
two_thousandth_prime = islice(primes_under_million, 1999, 2000).next()
Most of the memory and time needed to generate this many primes will not be used until the needed element is actually accessed. Unfortunately, you cannot perform simple indexing and slicing of generators, but must use the ''itertools'' module or "roll your own" loops. In contrast, a list comprehension is functionally equivalent, but is ''greedy'' in performing all the work:
primes_under_million = for i in generate_primes(2000000) if i < 1000000two_thousandth_prime = primes_under_million 999
The list comprehension will immediately create a large list (with 78498 items, in the example, but transiently creating a list of primes under two million), even if most elements are never accessed. The generator comprehension is more parsimonious.
Dictionary and set comprehensions
While lists and generators had comprehensions/expressions, in Python versions older than 2.7 the other Python built-in collection types (dicts and sets) had to be kludged in using lists or generators:
>>> dict((n, n*n) for n in range(5))
Python 2.7 and 3.0 unified all collection types by introducing dictionary and set comprehensions, similar to list comprehensions:
>>> *n for n in range(5) # regular list comprehension
, 1, 4, 9, 16>>>
>>> # set comprehension
>>>
>>> # dict comprehension
Objects
Python supports most object oriented programming (OOP) techniques. It allows
polymorphism, not only within a
class hierarchy but also by
duck typing. Any object can be used for any type, and it will work so long as it has the proper methods and attributes. And everything in Python is an object, including classes, functions, numbers and modules. Python also has support for
metaclasses, an advanced tool for enhancing classes' functionality. Naturally,
inheritance
Inheritance is the practice of receiving private property, titles, debts, entitlements, privileges, rights, and obligations upon the death of an individual. The rules of inheritance differ among societies and have changed over time. Offi ...
, including
multiple inheritance, is supported. Python has very limited support for private variables using
name mangling
In compiler construction, name mangling (also called name decoration) is a technique used to solve various problems caused by the need to resolve unique names for programming entities in many modern programming languages.
It provides means to e ...
which is rarely used in practice as
information hiding
In computer science, information hiding is the principle of segregation of the ''design decisions'' in a computer program that are most likely to change, thus protecting other parts of the program from extensive modification if the design decisio ...
is seen by some as
unpythonic, in that it suggests that the class in question contains unaesthetic or ill-planned internals. The slogan "we're all responsible users here" is used to describe this attitude.
doctrines such as the use of accessor methods to read data members are not enforced in Python. Just as Python offers functional-programming constructs but does not attempt to demand
referential transparency
In analytic philosophy and computer science, referential transparency and referential opacity are properties of linguistic constructions, and by extension of languages. A linguistic construction is called ''referentially transparent'' when for an ...
, it offers an object system but does not demand behavior. Moreover, it is always possible to redefine the class using ''properties'' (see
Properties
Property is the ownership of land, resources, improvements or other tangible objects, or intellectual property.
Property may also refer to:
Philosophy and science
* Property (philosophy), in philosophy and logic, an abstraction characterizing an ...
) so that when a certain variable is set or retrieved in calling code, it really invokes a function call, so that
spam.eggs = toast
might really invoke
spam.set_eggs(toast)
. This nullifies the practical advantage of accessor functions, and it remains because the property
eggs
becomes a legitimate part of the object's interface: it need not reflect an implementation detail.
In version 2.2 of Python, "new-style" classes were introduced. With new-style classes, objects and types were unified, allowing the subclassing of types.
Even entirely new types can be defined, complete with custom behavior for infix operators. This allows for many radical things to be done syntactically within Python. A ne
method resolution orderfor multiple inheritance was also adopted with Python 2.3. It is also possible to run custom code while accessing or setting attributes, though the details of those techniques have evolved between Python versions.
With statement
The
with
statement handles resources, and allows users to work with the Context Manager protocol. One function (
__enter__()
) is called when entering scope and another (
__exit__()
) when leaving. This prevents forgetting to free the resource and also handles more complicated situations such as freeing the resource when an exception occurs while it is in use. Context Managers are often used with files, database connections, test cases, etc.
Properties
Properties allow specially defined methods to be invoked on an object instance by using the same syntax as used for attribute access. An example of a class defining some properties is:
class MyClass:
def __init__(self):
self._a = None
@property
def a(self):
return self._a
@a.setter # makes the property writable
def a(self, value):
self._a = value
Descriptors
A class that defines one or more of the three special methods
__get__(self, instance, owner)
,
__set__(self, instance, value)
,
__delete__(self, instance)
can be used as a descriptor. Creating an instance of a descriptor as a class member of a second class makes the instance a property of the second class.
Class and static methods
Python allows the creation of class methods and static methods via the use of the
@classmethod
and
@staticmethod
decorators. The first argument to a class method is the class object instead of the self-reference to the instance. A static method has no special first argument. Neither the instance, nor the class object is passed to a static method.
Exceptions
Python supports (and extensively uses)
exception handling
In computing and computer programming, exception handling is the process of responding to the occurrence of ''exceptions'' – anomalous or exceptional conditions requiring special processing – during the execution of a program. In general, an ...
as a means of testing for error conditions and other "exceptional" events in a program.
Python style calls for the use of exceptions whenever an error condition might arise. Rather than testing for access to a file or resource before actually using it, it is conventional in Python to just go ahead and try to use it, catching the exception if access is rejected.
Exceptions can also be used as a more general means of non-local transfer of control, even when an error is not at issue. For instance, the
Mailman mailing list software, written in Python, uses exceptions to jump out of deeply nested message-handling logic when a decision has been made to reject a message or hold it for moderator approval.
Exceptions are often used as an alternative to the
if
-block, especially in
threaded situations. A commonly invoked motto is EAFP, or "It is Easier to Ask for Forgiveness than Permission," which is attributed to
Grace Hopper.
The alternative, known as LBYL, or "Look Before You Leap", explicitly tests for pre-conditions.
In this first code sample, following the LBYL approach, there is an explicit check for the attribute before access:
if hasattr(spam, 'eggs'):
ham = spam.eggs
else:
handle_missing_attr()
This second sample follows the EAFP paradigm:
try:
ham = spam.eggs
except AttributeError:
handle_missing_attr()
These two code samples have the same effect, although there will be performance differences. When
spam
has the attribute
eggs
, the EAFP sample will run faster. When
spam
does not have the attribute
eggs
(the "exceptional" case), the EAFP sample will run slower. The Pytho
profilercan be used in specific cases to determine performance characteristics. If exceptional cases are rare, then the EAFP version will have superior
average performance than the alternative. In addition, it avoids the whole class of
time-of-check-to-time-of-use (TOCTTOU) vulnerabilities, other
race conditions,
[''Python in a nutshell,'' Alex Martelli]
p. 134
/ref> and is compatible with duck typing. A drawback of EAFP is that it can be used only with statements; an exception cannot be caught in a generator expression, list comprehension, or lambda function.
Comments and docstrings
Python has two ways to annotate Python code. One is by using comments to indicate what some part of the code does. Single-line comments begin with the hash character (#
) and continue until the end of the line. Comments spanning more than one line are achieved by inserting a multi-line string (with """
or
as the delimiter on each end) that is not used in assignment or otherwise evaluated, but sits in between other statements.
Commenting a piece of code:
import sys
def getline():
return sys.stdin.readline() # Get one line and return it
Commenting a piece of code with multiple lines:
def getline():
"""This function gets one line and returns it.
As a demonstration, this is a multiline docstring.
This full string can be accessed as getline.__doc__.
"""
return sys.stdin.readline()
Docstrings (documentation strings), that is, strings that are located alone without assignment as the first indented line within a module, class, method or function, automatically set their contents as an attribute named __doc__
, which is intended to store a human-readable description of the object's purpose, behavior, and usage. The built-in help
function generates its output based on __doc__
attributes. Such strings can be delimited with "
or '
for single line strings, or may span multiple lines if delimited with either """
or
which is Python's notation for specifying multi-line strings. However, the style guide for the language specifies that triple double quotes ("""
) are preferred for both single and multi-line docstrings.
Single-line docstring:
def getline():
"""Get one line from stdin and return it."""
return sys.stdin.readline()
Multi-line docstring:
def getline():
"""Get one line
from stdin
and return it.
"""
return sys.stdin.readline()
Docstrings can be as large as the programmer wants and contain line breaks. In contrast with comments, docstrings are themselves Python objects and are part of the interpreted code that Python runs. That means that a running program can retrieve its own docstrings and manipulate that information, but the normal usage is to give other programmers information about how to invoke the object being documented in the docstring.
There are tools available that can extract the docstrings from Python code and generate documentation. Docstring documentation can also be accessed from the interpreter with the help()
function, or from the shell with the pydoc command pydoc
.
The doctest standard module uses interactions copied from Python shell sessions into docstrings to create tests, whereas th
docopt
module uses them to define command-line options.
Function annotations
Function annotations (type hints) are defined in PEP 3107. They allow attaching data to the arguments and return of a function. The behaviour of annotations is not defined by the language, and is left to third party frameworks. For example, a library could be written to handle static typing:
def haul(item: Haulable, *vargs: PackAnimal) -> Distance
Decorators
A decorator is any callable Python object that is used to modify a function, method or class definition. A decorator is passed the original object being defined and returns a modified object, which is then bound to the name in the definition. Python decorators were inspired in part by Java annotation
In the Java computer programming language, an annotation is a form of syntactic metadata that can be added to Java source code. Class (computer programming), Classes, Method (computer programming), methods, Variable (computer science), variables ...
s, and have a similar syntax; the decorator syntax is pure syntactic sugar
In computer science, syntactic sugar is syntax within a programming language that is designed to make things easier to read or to express. It makes the language "sweeter" for human use: things can be expressed more clearly, more concisely, or in an ...
, using @
as the keyword:
@viking_chorus
def menu_item():
print("spam")
is equivalent to
def menu_item():
print("spam")
menu_item = viking_chorus(menu_item)
Decorators are a form of metaprogramming
Metaprogramming is a computer programming technique in which computer programs have the ability to treat other programs as their data. It means that a program can be designed to read, generate, analyse, or transform other programs, and even modi ...
; they enhance the action of the function or method they decorate. For example, in the sample below, viking_chorus
might cause menu_item
to be run 8 times (see Spam sketch) for each time it is called:
def viking_chorus(myfunc):
def inner_func(*args, **kwargs):
for i in range(8):
myfunc(*args, **kwargs)
return inner_func
Canonical uses of function decorators are for creating class methods or static methods, adding function attributes, tracing, setting pre- and postcondition In computer programming, a postcondition is a condition or predicate that must always be true just after the execution of some section of code or after an operation in a formal specification. Postconditions are sometimes tested using assertions w ...
s, and synchronization
Synchronization is the coordination of events to operate a system in unison. For example, the Conductor (music), conductor of an orchestra keeps the orchestra synchronized or ''in time''. Systems that operate with all parts in synchrony are sa ...
, but can be used for far more, including tail recursion elimination, memoization and even improving the writing of other decorators.
Decorators can be chained by placing several on adjacent lines:
@invincible
@favourite_colour("Blue")
def black_knight():
pass
is equivalent to
def black_knight():
pass
black_knight = invincible(favourite_colour("Blue")(black_knight))
or, using intermediate variables
def black_knight():
pass
blue_decorator = favourite_colour("Blue")
decorated_by_blue = blue_decorator(black_knight)
black_knight = invincible(decorated_by_blue)
In the example above, the favourite_colour
decorator factory
A factory, manufacturing plant or production plant is an industrial facility, often a complex consisting of several buildings filled with machinery, where workers manufacture items or operate machines which process each item into another. Th ...
takes an argument. Decorator factories must return a decorator, which is then called with the object to be decorated as its argument:
def favourite_colour(colour):
def decorator(func):
def wrapper():
print(colour)
func()
return wrapper
return decorator
This would then decorate the black_knight
function such that the colour, "Blue"
, would be printed prior to the black_knight
function running. Closure ensures that the colour argument is accessible to the innermost wrapper function even when it is returned and goes out of scope, which is what allows decorators to work.
Despite the name, Python decorators are not an implementation of the decorator pattern. The decorator pattern is a design pattern used in statically-typed object-oriented programming languages to allow functionality to be added to objects at run time; Python decorators add functionality to functions and methods at definition time, and thus are a higher-level construct than decorator-pattern classes. The decorator pattern itself is trivially implementable in Python, because the language is duck typed, and so is not usually considered as such.
Easter eggs
Users of curly bracket languages, such as C or Java
Java is one of the Greater Sunda Islands in Indonesia. It is bordered by the Indian Ocean to the south and the Java Sea (a part of Pacific Ocean) to the north. With a population of 156.9 million people (including Madura) in mid 2024, proje ...
, sometimes expect or wish Python to follow a block-delimiter convention. Brace-delimited block syntax has been repeatedly requested, and consistently rejected by core developers. The Python interpreter contains an easter egg
Easter eggs, also called Paschal eggs, are eggs that are decorated for the Christian holiday of Easter, which celebrates the resurrection of Jesus. As such, Easter eggs are commonly used during the season of Eastertide (Easter season). The ...
that summarizes its developers' feelings on this issue. The code from __future__ import braces
raises the exception SyntaxError: not a chance
. The __future__
module is normally used to provide features from future versions of Python.
Another hidden message, the Zen of Python
The Zen of Python is a collection of 19 Coding conventions, "guiding principles" for writing computer programs that influence the design of the Python (programming language), Python programming language. Python code that aligns with these principl ...
(a summary of Python design philosophy), is displayed when trying to import this
.
The message Hello world!
is printed when the import statement import __hello__
is used. In Python 2.7, instead of Hello world!
it prints Hello world...
.
Importing the antigravity
module opens a web browser to xkcd
''xkcd'' is a serial webcomic created in 2005 by American author Randall Munroe. Sometimes styled ''XKCD'', the comic's tagline describes it as "a webcomic of romance, sarcasm, math, and language". Munroe states on the comic's website that the ...
comi
353
that portrays a humorous fictional use for such a module, intended to demonstrate the ease with which Python modules enable additional functionality. In Python 3, this module also contains an implementation of the "geohash" algorithm, a reference to xkcd
''xkcd'' is a serial webcomic created in 2005 by American author Randall Munroe. Sometimes styled ''XKCD'', the comic's tagline describes it as "a webcomic of romance, sarcasm, math, and language". Munroe states on the comic's website that the ...
comi
426
References
External links
*
* (written by the author of Python)
*
{{DEFAULTSORT:Python Syntax And Semantics
Programming language syntax
Python (programming language)
Articles with example Python (programming language) code
Articles with example C code