\documentclass{howto} % $Id$ \title{What's New in Python 2.0} \release{1.02} \author{A.M. Kuchling and Moshe Zadka} \authoraddress{ \strong{Python Software Foundation}\\ Email: \email{amk@amk.ca}, \email{moshez@twistedmatrix.com} } \begin{document} \maketitle\tableofcontents \section{Introduction} A new release of Python, version 2.0, was released on October 16, 2000. This article covers the exciting new features in 2.0, highlights some other useful changes, and points out a few incompatible changes that may require rewriting code. Python's development never completely stops between releases, and a steady flow of bug fixes and improvements are always being submitted. A host of minor fixes, a few optimizations, additional docstrings, and better error messages went into 2.0; to list them all would be impossible, but they're certainly significant. Consult the publicly-available CVS logs if you want to see the full list. This progress is due to the five developers working for PythonLabs are now getting paid to spend their days fixing bugs, and also due to the improved communication resulting from moving to SourceForge. % ====================================================================== \section{What About Python 1.6?} Python 1.6 can be thought of as the Contractual Obligations Python release. After the core development team left CNRI in May 2000, CNRI requested that a 1.6 release be created, containing all the work on Python that had been performed at CNRI. Python 1.6 therefore represents the state of the CVS tree as of May 2000, with the most significant new feature being Unicode support. Development continued after May, of course, so the 1.6 tree received a few fixes to ensure that it's forward-compatible with Python 2.0. 1.6 is therefore part of Python's evolution, and not a side branch. So, should you take much interest in Python 1.6? Probably not. The 1.6final and 2.0beta1 releases were made on the same day (September 5, 2000), the plan being to finalize Python 2.0 within a month or so. If you have applications to maintain, there seems little point in breaking things by moving to 1.6, fixing them, and then having another round of breakage within a month by moving to 2.0; you're better off just going straight to 2.0. Most of the really interesting features described in this document are only in 2.0, because a lot of work was done between May and September. % ====================================================================== \section{New Development Process} The most important change in Python 2.0 may not be to the code at all, but to how Python is developed: in May 2000 the Python developers began using the tools made available by SourceForge for storing source code, tracking bug reports, and managing the queue of patch submissions. To report bugs or submit patches for Python 2.0, use the bug tracking and patch manager tools available from Python's project page, located at \url{http://sourceforge.net/projects/python/}. The most important of the services now hosted at SourceForge is the Python CVS tree, the version-controlled repository containing the source code for Python. Previously, there were roughly 7 or so people who had write access to the CVS tree, and all patches had to be inspected and checked in by one of the people on this short list. Obviously, this wasn't very scalable. By moving the CVS tree to SourceForge, it became possible to grant write access to more people; as of September 2000 there were 27 people able to check in changes, a fourfold increase. This makes possible large-scale changes that wouldn't be attempted if they'd have to be filtered through the small group of core developers. For example, one day Peter Schneider-Kamp took it into his head to drop K\&R C compatibility and convert the C source for Python to ANSI C. After getting approval on the python-dev mailing list, he launched into a flurry of checkins that lasted about a week, other developers joined in to help, and the job was done. If there were only 5 people with write access, probably that task would have been viewed as ``nice, but not worth the time and effort needed'' and it would never have gotten done. The shift to using SourceForge's services has resulted in a remarkable increase in the speed of development. Patches now get submitted, commented on, revised by people other than the original submitter, and bounced back and forth between people until the patch is deemed worth checking in. Bugs are tracked in one central location and can be assigned to a specific person for fixing, and we can count the number of open bugs to measure progress. This didn't come without a cost: developers now have more e-mail to deal with, more mailing lists to follow, and special tools had to be written for the new environment. For example, SourceForge sends default patch and bug notification e-mail messages that are completely unhelpful, so Ka-Ping Yee wrote an HTML screen-scraper that sends more useful messages. The ease of adding code caused a few initial growing pains, such as code was checked in before it was ready or without getting clear agreement from the developer group. The approval process that has emerged is somewhat similar to that used by the Apache group. Developers can vote +1, +0, -0, or -1 on a patch; +1 and -1 denote acceptance or rejection, while +0 and -0 mean the developer is mostly indifferent to the change, though with a slight positive or negative slant. The most significant change from the Apache model is that the voting is essentially advisory, letting Guido van Rossum, who has Benevolent Dictator For Life status, know what the general opinion is. He can still ignore the result of a vote, and approve or reject a change even if the community disagrees with him. Producing an actual patch is the last step in adding a new feature, and is usually easy compared to the earlier task of coming up with a good design. Discussions of new features can often explode into lengthy mailing list threads, making the discussion hard to follow, and no one can read every posting to python-dev. Therefore, a relatively formal process has been set up to write Python Enhancement Proposals (PEPs), modelled on the Internet RFC process. PEPs are draft documents that describe a proposed new feature, and are continually revised until the community reaches a consensus, either accepting or rejecting the proposal. Quoting from the introduction to PEP 1, ``PEP Purpose and Guidelines'': \begin{quotation} PEP stands for Python Enhancement Proposal. A PEP is a design document providing information to the Python community, or describing a new feature for Python. The PEP should provide a concise technical specification of the feature and a rationale for the feature. We intend PEPs to be the primary mechanisms for proposing new features, for collecting community input on an issue, and for documenting the design decisions that have gone into Python. The PEP author is responsible for building consensus within the community and documenting dissenting opinions. \end{quotation} Read the rest of PEP 1 for the details of the PEP editorial process, style, and format. PEPs are kept in the Python CVS tree on SourceForge, though they're not part of the Python 2.0 distribution, and are also available in HTML form from \url{http://www.python.org/peps/}. As of September 2000, there are 25 PEPS, ranging from PEP 201, ``Lockstep Iteration'', to PEP 225, ``Elementwise/Objectwise Operators''. % ====================================================================== \section{Unicode} The largest new feature in Python 2.0 is a new fundamental data type: Unicode strings. Unicode uses 16-bit numbers to represent characters instead of the 8-bit number used by ASCII, meaning that 65,536 distinct characters can be supported. The final interface for Unicode support was arrived at through countless often-stormy discussions on the python-dev mailing list, and mostly implemented by Marc-Andr\'e Lemburg, based on a Unicode string type implementation by Fredrik Lundh. A detailed explanation of the interface was written up as \pep{100}, ``Python Unicode Integration''. This article will simply cover the most significant points about the Unicode interfaces. In Python source code, Unicode strings are written as \code{u"string"}. Arbitrary Unicode characters can be written using a new escape sequence, \code{\e u\var{HHHH}}, where \var{HHHH} is a 4-digit hexadecimal number from 0000 to FFFF. The existing \code{\e x\var{HHHH}} escape sequence can also be used, and octal escapes can be used for characters up to U+01FF, which is represented by \code{\e 777}. Unicode strings, just like regular strings, are an immutable sequence type. They can be indexed and sliced, but not modified in place. Unicode strings have an \method{encode( \optional{encoding} )} method that returns an 8-bit string in the desired encoding. Encodings are named by strings, such as \code{'ascii'}, \code{'utf-8'}, \code{'iso-8859-1'}, or whatever. A codec API is defined for implementing and registering new encodings that are then available throughout a Python program. If an encoding isn't specified, the default encoding is usually 7-bit ASCII, though it can be changed for your Python installation by calling the \function{sys.setdefaultencoding(\var{encoding})} function in a customised version of \file{site.py}. Combining 8-bit and Unicode strings always coerces to Unicode, using the default ASCII encoding; the result of \code{'a' + u'bc'} is \code{u'abc'}. New built-in functions have been added, and existing built-ins modified to support Unicode: \begin{itemize} \item \code{unichr(\var{ch})} returns a Unicode string 1 character long, containing the character \var{ch}. \item \code{ord(\var{u})}, where \var{u} is a 1-character regular or Unicode string, returns the number of the character as an integer. \item \code{unicode(\var{string} \optional{, \var{encoding}} \optional{, \var{errors}} ) } creates a Unicode string from an 8-bit string. \code{encoding} is a string naming the encoding to use. The \code{errors} parameter specifies the treatment of characters that are invalid for the current encoding; passing \code{'strict'} as the value causes an exception to be raised on any encoding error, while \code{'ignore'} causes errors to be silently ignored and \code{'replace'} uses U+FFFD, the official replacement character, in case of any problems. \item The \keyword{exec} statement, and various built-ins such as \code{eval()}, \code{getattr()}, and \code{setattr()} will also accept Unicode strings as well as regular strings. (It's possible that the process of fixing this missed some built-ins; if you find a built-in function that accepts strings but doesn't accept Unicode strings at all, please report it as a bug.) \end{itemize} A new module, \module{unicodedata}, provides an interface to Unicode character properties. For example, \code{unicodedata.category(u'A')} returns the 2-character string 'Lu', the 'L' denoting it's a letter, and 'u' meaning that it's uppercase. \code{u.bidirectional(u'\e x0660')} returns 'AN', meaning that U+0660 is an Arabic number. The \module{codecs} module contains functions to look up existing encodings and register new ones. Unless you want to implement a new encoding, you'll most often use the \function{codecs.lookup(\var{encoding})} function, which returns a 4-element tuple: \code{(\var{encode_func}, \var{decode_func}, \var{stream_reader}, \var{stream_writer})}. \begin{itemize} \item \var{encode_func} is a function that takes a Unicode string, and returns a 2-tuple \code{(\var{string}, \var{length})}. \var{string} is an 8-bit string containing a portion (perhaps all) of the Unicode string converted into the given encoding, and \var{length} tells you how much of the Unicode string was converted. \item \var{decode_func} is the opposite of \var{encode_func}, taking an 8-bit string and returning a 2-tuple \code{(\var{ustring}, \var{length})}, consisting of the resulting Unicode string \var{ustring} and the integer \var{length} telling how much of the 8-bit string was consumed. \item \var{stream_reader} is a class that supports decoding input from a stream. \var{stream_reader(\var{file_obj})} returns an object that supports the \method{read()}, \method{readline()}, and \method{readlines()} methods. These methods will all translate from the given encoding and return Unicode strings. \item \var{stream_writer}, similarly, is a class that supports encoding output to a stream. \var{stream_writer(\var{file_obj})} returns an object that supports the \method{write()} and \method{writelines()} methods. These methods expect Unicode strings, translating them to the given encoding on output. \end{itemize} For example, the following code writes a Unicode string into a file, encoding it as UTF-8: \begin{verbatim} import codecs unistr = u'\u0660\u2000ab ...' (UTF8_encode, UTF8_decode, UTF8_streamreader, UTF8_streamwriter) = codecs.lookup('UTF-8') output = UTF8_streamwriter( open( '/tmp/output', 'wb') ) output.write( unistr ) output.close() \end{verbatim} The following code would then read UTF-8 input from the file: \begin{verbatim} input = UTF8_streamreader( open( '/tmp/output', 'rb') ) print repr(input.read()) input.close() \end{verbatim} Unicode-aware regular expressions are available through the \module{re} module, which has a new underlying implementation called SRE written by Fredrik Lundh of Secret Labs AB. A \code{-U} command line option was added which causes the Python compiler to interpret all string literals as Unicode string literals. This is intended to be used in testing and future-proofing your Python code, since some future version of Python may drop support for 8-bit strings and provide only Unicode strings. % ====================================================================== \section{List Comprehensions} Lists are a workhorse data type in Python, and many programs manipulate a list at some point. Two common operations on lists are to loop over them, and either pick out the elements that meet a certain criterion, or apply some function to each element. For example, given a list of strings, you might want to pull out all the strings containing a given substring, or strip off trailing whitespace from each line. The existing \function{map()} and \function{filter()} functions can be used for this purpose, but they require a function as one of their arguments. This is fine if there's an existing built-in function that can be passed directly, but if there isn't, you have to create a little function to do the required work, and Python's scoping rules make the result ugly if the little function needs additional information. Take the first example in the previous paragraph, finding all the strings in the list containing a given substring. You could write the following to do it: \begin{verbatim} # Given the list L, make a list of all strings # containing the substring S. sublist = filter( lambda s, substring=S: string.find(s, substring) != -1, L) \end{verbatim} Because of Python's scoping rules, a default argument is used so that the anonymous function created by the \keyword{lambda} statement knows what substring is being searched for. List comprehensions make this cleaner: \begin{verbatim} sublist = [ s for s in L if string.find(s, S) != -1 ] \end{verbatim} List comprehensions have the form: \begin{verbatim} [ expression for expr in sequence1 for expr2 in sequence2 ... for exprN in sequenceN if condition ] \end{verbatim} The \keyword{for}...\keyword{in} clauses contain the sequences to be iterated over. The sequences do not have to be the same length, because they are \emph{not} iterated over in parallel, but from left to right; this is explained more clearly in the following paragraphs. The elements of the generated list will be the successive values of \var{expression}. The final \keyword{if} clause is optional; if present, \var{expression} is only evaluated and added to the result if \var{condition} is true. To make the semantics very clear, a list comprehension is equivalent to the following Python code: \begin{verbatim} for expr1 in sequence1: for expr2 in sequence2: ... for exprN in sequenceN: if (condition): # Append the value of # the expression to the # resulting list. \end{verbatim} This means that when there are multiple \keyword{for}...\keyword{in} clauses, the resulting list will be equal to the product of the lengths of all the sequences. If you have two lists of length 3, the output list is 9 elements long: \begin{verbatim} seq1 = 'abc' seq2 = (1,2,3) >>> [ (x,y) for x in seq1 for y in seq2] [('a', 1), ('a', 2), ('a', 3), ('b', 1), ('b', 2), ('b', 3), ('c', 1), ('c', 2), ('c', 3)] \end{verbatim} To avoid introducing an ambiguity into Python's grammar, if \var{expression} is creating a tuple, it must be surrounded with parentheses. The first list comprehension below is a syntax error, while the second one is correct: \begin{verbatim} # Syntax error [ x,y for x in seq1 for y in seq2] # Correct [ (x,y) for x in seq1 for y in seq2] \end{verbatim} The idea of list comprehensions originally comes from the functional programming language Haskell (\url{http://www.haskell.org}). Greg Ewing argued most effectively for adding them to Python and wrote the initial list comprehension patch, which was then discussed for a seemingly endless time on the python-dev mailing list and kept up-to-date by Skip Montanaro. % ====================================================================== \section{Augmented Assignment} Augmented assignment operators, another long-requested feature, have been added to Python 2.0. Augmented assignment operators include \code{+=}, \code{-=}, \code{*=}, and so forth. For example, the statement \code{a += 2} increments the value of the variable \code{a} by 2, equivalent to the slightly lengthier \code{a = a + 2}. % The empty groups below prevent conversion to guillemets. The full list of supported assignment operators is \code{+=}, \code{-=}, \code{*=}, \code{/=}, \code{\%=}, \code{**=}, \code{\&=}, \code{|=}, \verb|^=|, \code{>>=}, and \code{<<=}. Python classes can override the augmented assignment operators by defining methods named \method{__iadd__}, \method{__isub__}, etc. For example, the following \class{Number} class stores a number and supports using += to create a new instance with an incremented value. \begin{verbatim} class Number: def __init__(self, value): self.value = value def __iadd__(self, increment): return Number( self.value + increment) n = Number(5) n += 3 print n.value \end{verbatim} The \method{__iadd__} special method is called with the value of the increment, and should return a new instance with an appropriately modified value; this return value is bound as the new value of the variable on the left-hand side. Augmented assignment operators were first introduced in the C programming language, and most C-derived languages, such as \program{awk}, \Cpp, Java, Perl, and PHP also support them. The augmented assignment patch was implemented by Thomas Wouters. % ====================================================================== \section{String Methods} Until now string-manipulation functionality was in the \module{string} module, which was usually a front-end for the \module{strop} module written in C. The addition of Unicode posed a difficulty for the \module{strop} module, because the functions would all need to be rewritten in order to accept either 8-bit or Unicode strings. For functions such as \function{string.replace()}, which takes 3 string arguments, that means eight possible permutations, and correspondingly complicated code. Instead, Python 2.0 pushes the problem onto the string type, making string manipulation functionality available through methods on both 8-bit strings and Unicode strings. \begin{verbatim} >>> 'andrew'.capitalize() 'Andrew' >>> 'hostname'.replace('os', 'linux') 'hlinuxtname' >>> 'moshe'.find('sh') 2 \end{verbatim} One thing that hasn't changed, a noteworthy April Fools' joke notwithstanding, is that Python strings are immutable. Thus, the string methods return new strings, and do not modify the string on which they operate. The old \module{string} module is still around for backwards compatibility, but it mostly acts as a front-end to the new string methods. Two methods which have no parallel in pre-2.0 versions, although they did exist in JPython for quite some time, are \method{startswith()} and \method{endswith}. \code{s.startswith(t)} is equivalent to \code{s[:len(t)] == t}, while \code{s.endswith(t)} is equivalent to \code{s[-len(t):] == t}. One other method which deserves special mention is \method{join}. The \method{join} method of a string receives one parameter, a sequence of strings, and is equivalent to the \function{string.join} function from the old \module{string} module, with the arguments reversed. In other words, \code{s.join(seq)} is equivalent to the old \code{string.join(seq, s)}. % ====================================================================== \section{Garbage Collection of Cycles} The C implementation of Python uses reference counting to implement garbage collection. Every Python object maintains a count of the number of references pointing to itself, and adjusts the count as references are created or destroyed. Once the reference count reaches zero, the object is no longer accessible, since you need to have a reference to an object to access it, and if the count is zero, no references exist any longer. Reference counting has some pleasant properties: it's easy to understand and implement, and the resulting implementation is portable, fairly fast, and reacts well with other libraries that implement their own memory handling schemes. The major problem with reference counting is that it sometimes doesn't realise that objects are no longer accessible, resulting in a memory leak. This happens when there are cycles of references. Consider the simplest possible cycle, a class instance which has a reference to itself: \begin{verbatim} instance = SomeClass() instance.myself = instance \end{verbatim} After the above two lines of code have been executed, the reference count of \code{instance} is 2; one reference is from the variable named \samp{'instance'}, and the other is from the \samp{myself} attribute of the instance. If the next line of code is \code{del instance}, what happens? The reference count of \code{instance} is decreased by 1, so it has a reference count of 1; the reference in the \samp{myself} attribute still exists. Yet the instance is no longer accessible through Python code, and it could be deleted. Several objects can participate in a cycle if they have references to each other, causing all of the objects to be leaked. Python 2.0 fixes this problem by periodically executing a cycle detection algorithm which looks for inaccessible cycles and deletes the objects involved. A new \module{gc} module provides functions to perform a garbage collection, obtain debugging statistics, and tuning the collector's parameters. Running the cycle detection algorithm takes some time, and therefore will result in some additional overhead. It is hoped that after we've gotten experience with the cycle collection from using 2.0, Python 2.1 will be able to minimize the overhead with careful tuning. It's not yet obvious how much performance is lost, because benchmarking this is tricky and depends crucially on how often the program creates and destroys objects. The detection of cycles can be disabled when Python is compiled, if you can't afford even a tiny speed penalty or suspect that the cycle collection is buggy, by specifying the \longprogramopt{without-cycle-gc} switch when running the \program{configure} script. Several people tackled this problem and contributed to a solution. An early implementation of the cycle detection approach was written by Toby Kelsey. The current algorithm was suggested by Eric Tiedemann during a visit to CNRI, and Guido van Rossum and Neil Schemenauer wrote two different implementations, which were later integrated by Neil. Lots of other people offered suggestions along the way; the March 2000 archives of the python-dev mailing list contain most of the relevant discussion, especially in the threads titled ``Reference cycle collection for Python'' and ``Finalization again''. % ====================================================================== \section{Other Core Changes} Various minor changes have been made to Python's syntax and built-in functions. None of the changes are very far-reaching, but they're handy conveniences. \subsection{Minor Language Changes} A new syntax makes it more convenient to call a given function with a tuple of arguments and/or a dictionary of keyword arguments. In Python 1.5 and earlier, you'd use the \function{apply()} built-in function: \code{apply(f, \var{args}, \var{kw})} calls the function \function{f()} with the argument tuple \var{args} and the keyword arguments in the dictionary \var{kw}. \function{apply()} is the same in 2.0, but thanks to a patch from Greg Ewing, \code{f(*\var{args}, **\var{kw})} as a shorter and clearer way to achieve the same effect. This syntax is symmetrical with the syntax for defining functions: \begin{verbatim} def f(*args, **kw): # args is a tuple of positional args, # kw is a dictionary of keyword args ... \end{verbatim} The \keyword{print} statement can now have its output directed to a file-like object by following the \keyword{print} with \verb|>> file|, similar to the redirection operator in Unix shells. Previously you'd either have to use the \method{write()} method of the file-like object, which lacks the convenience and simplicity of \keyword{print}, or you could assign a new value to \code{sys.stdout} and then restore the old value. For sending output to standard error, it's much easier to write this: \begin{verbatim} print >> sys.stderr, "Warning: action field not supplied" \end{verbatim} Modules can now be renamed on importing them, using the syntax \code{import \var{module} as \var{name}} or \code{from \var{module} import \var{name} as \var{othername}}. The patch was submitted by Thomas Wouters. A new format style is available when using the \code{\%} operator; '\%r' will insert the \function{repr()} of its argument. This was also added from symmetry considerations, this time for symmetry with the existing '\%s' format style, which inserts the \function{str()} of its argument. For example, \code{'\%r \%s' \% ('abc', 'abc')} returns a string containing \verb|'abc' abc|. Previously there was no way to implement a class that overrode Python's built-in \keyword{in} operator and implemented a custom version. \code{\var{obj} in \var{seq}} returns true if \var{obj} is present in the sequence \var{seq}; Python computes this by simply trying every index of the sequence until either \var{obj} is found or an \exception{IndexError} is encountered. Moshe Zadka contributed a patch which adds a \method{__contains__} magic method for providing a custom implementation for \keyword{in}. Additionally, new built-in objects written in C can define what \keyword{in} means for them via a new slot in the sequence protocol. Earlier versions of Python used a recursive algorithm for deleting objects. Deeply nested data structures could cause the interpreter to fill up the C stack and crash; Christian Tismer rewrote the deletion logic to fix this problem. On a related note, comparing recursive objects recursed infinitely and crashed; Jeremy Hylton rewrote the code to no longer crash, producing a useful result instead. For example, after this code: \begin{verbatim} a = [] b = [] a.append(a) b.append(b) \end{verbatim} The comparison \code{a==b} returns true, because the two recursive data structures are isomorphic. See the thread ``trashcan and PR\#7'' in the April 2000 archives of the python-dev mailing list for the discussion leading up to this implementation, and some useful relevant links. % Starting URL: % http://www.python.org/pipermail/python-dev/2000-April/004834.html Note that comparisons can now also raise exceptions. In earlier versions of Python, a comparison operation such as \code{cmp(a,b)} would always produce an answer, even if a user-defined \method{__cmp__} method encountered an error, since the resulting exception would simply be silently swallowed. Work has been done on porting Python to 64-bit Windows on the Itanium processor, mostly by Trent Mick of ActiveState. (Confusingly, \code{sys.platform} is still \code{'win32'} on Win64 because it seems that for ease of porting, MS Visual \Cpp{} treats code as 32 bit on Itanium.) PythonWin also supports Windows CE; see the Python CE page at \url{http://starship.python.net/crew/mhammond/ce/} for more information. Another new platform is Darwin/MacOS X; initial support for it is in Python 2.0. Dynamic loading works, if you specify ``configure --with-dyld --with-suffix=.x''. Consult the README in the Python source distribution for more instructions. An attempt has been made to alleviate one of Python's warts, the often-confusing \exception{NameError} exception when code refers to a local variable before the variable has been assigned a value. For example, the following code raises an exception on the \keyword{print} statement in both 1.5.2 and 2.0; in 1.5.2 a \exception{NameError} exception is raised, while 2.0 raises a new \exception{UnboundLocalError} exception. \exception{UnboundLocalError} is a subclass of \exception{NameError}, so any existing code that expects \exception{NameError} to be raised should still work. \begin{verbatim} def f(): print "i=",i i = i + 1 f() \end{verbatim} Two new exceptions, \exception{TabError} and \exception{IndentationError}, have been introduced. They're both subclasses of \exception{SyntaxError}, and are raised when Python code is found to be improperly indented. \subsection{Changes to Built-in Functions} A new built-in, \function{zip(\var{seq1}, \var{seq2}, ...)}, has been added. \function{zip()} returns a list of tuples where each tuple contains the i-th element from each of the argument sequences. The difference between \function{zip()} and \code{map(None, \var{seq1}, \var{seq2})} is that \function{map()} pads the sequences with \code{None} if the sequences aren't all of the same length, while \function{zip()} truncates the returned list to the length of the shortest argument sequence. The \function{int()} and \function{long()} functions now accept an optional ``base'' parameter when the first argument is a string. \code{int('123', 10)} returns 123, while \code{int('123', 16)} returns 291. \code{int(123, 16)} raises a \exception{TypeError} exception with the message ``can't convert non-string with explicit base''. A new variable holding more detailed version information has been added to the \module{sys} module. \code{sys.version_info} is a tuple \code{(\var{major}, \var{minor}, \var{micro}, \var{level}, \var{serial})} For example, in a hypothetical 2.0.1beta1, \code{sys.version_info} would be \code{(2, 0, 1, 'beta', 1)}. \var{level} is a string such as \code{"alpha"}, \code{"beta"}, or \code{"final"} for a final release. Dictionaries have an odd new method, \method{setdefault(\var{key}, \var{default})}, which behaves similarly to the existing \method{get()} method. However, if the key is missing, \method{setdefault()} both returns the value of \var{default} as \method{get()} would do, and also inserts it into the dictionary as the value for \var{key}. Thus, the following lines of code: \begin{verbatim} if dict.has_key( key ): return dict[key] else: dict[key] = [] return dict[key] \end{verbatim} can be reduced to a single \code{return dict.setdefault(key, [])} statement. The interpreter sets a maximum recursion depth in order to catch runaway recursion before filling the C stack and causing a core dump or GPF.. Previously this limit was fixed when you compiled Python, but in 2.0 the maximum recursion depth can be read and modified using \function{sys.getrecursionlimit} and \function{sys.setrecursionlimit}. The default value is 1000, and a rough maximum value for a given platform can be found by running a new script, \file{Misc/find_recursionlimit.py}. % ====================================================================== \section{Porting to 2.0} New Python releases try hard to be compatible with previous releases, and the record has been pretty good. However, some changes are considered useful enough, usually because they fix initial design decisions that turned out to be actively mistaken, that breaking backward compatibility can't always be avoided. This section lists the changes in Python 2.0 that may cause old Python code to break. The change which will probably break the most code is tightening up the arguments accepted by some methods. Some methods would take multiple arguments and treat them as a tuple, particularly various list methods such as \method{.append()} and \method{.insert()}. In earlier versions of Python, if \code{L} is a list, \code{L.append( 1,2 )} appends the tuple \code{(1,2)} to the list. In Python 2.0 this causes a \exception{TypeError} exception to be raised, with the message: 'append requires exactly 1 argument; 2 given'. The fix is to simply add an extra set of parentheses to pass both values as a tuple: \code{L.append( (1,2) )}. The earlier versions of these methods were more forgiving because they used an old function in Python's C interface to parse their arguments; 2.0 modernizes them to use \function{PyArg_ParseTuple}, the current argument parsing function, which provides more helpful error messages and treats multi-argument calls as errors. If you absolutely must use 2.0 but can't fix your code, you can edit \file{Objects/listobject.c} and define the preprocessor symbol \code{NO_STRICT_LIST_APPEND} to preserve the old behaviour; this isn't recommended. Some of the functions in the \module{socket} module are still forgiving in this way. For example, \function{socket.connect( ('hostname', 25) )} is the correct form, passing a tuple representing an IP address, but \function{socket.connect( 'hostname', 25 )} also works. \function{socket.connect_ex()} and \function{socket.bind()} are similarly easy-going. 2.0alpha1 tightened these functions up, but because the documentation actually used the erroneous multiple argument form, many people wrote code which would break with the stricter checking. GvR backed out the changes in the face of public reaction, so for the \module{socket} module, the documentation was fixed and the multiple argument form is simply marked as deprecated; it \emph{will} be tightened up again in a future Python version. The \code{\e x} escape in string literals now takes exactly 2 hex digits. Previously it would consume all the hex digits following the 'x' and take the lowest 8 bits of the result, so \code{\e x123456} was equivalent to \code{\e x56}. The \exception{AttributeError} and \exception{NameError} exceptions have a more friendly error message, whose text will be something like \code{'Spam' instance has no attribute 'eggs'} or \code{name 'eggs' is not defined}. Previously the error message was just the missing attribute name \code{eggs}, and code written to take advantage of this fact will break in 2.0. Some work has been done to make integers and long integers a bit more interchangeable. In 1.5.2, large-file support was added for Solaris, to allow reading files larger than 2Gb; this made the \method{tell()} method of file objects return a long integer instead of a regular integer. Some code would subtract two file offsets and attempt to use the result to multiply a sequence or slice a string, but this raised a \exception{TypeError}. In 2.0, long integers can be used to multiply or slice a sequence, and it'll behave as you'd intuitively expect it to; \code{3L * 'abc'} produces 'abcabcabc', and \code{ (0,1,2,3)[2L:4L]} produces (2,3). Long integers can also be used in various contexts where previously only integers were accepted, such as in the \method{seek()} method of file objects, and in the formats supported by the \verb|%| operator (\verb|%d|, \verb|%i|, \verb|%x|, etc.). For example, \code{"\%d" \% 2L**64} will produce the string \samp{18446744073709551616}. The subtlest long integer change of all is that the \function{str()} of a long integer no longer has a trailing 'L' character, though \function{repr()} still includes it. The 'L' annoyed many people who wanted to print long integers that looked just like regular integers, since they had to go out of their way to chop off the character. This is no longer a problem in 2.0, but code which does \code{str(longval)[:-1]} and assumes the 'L' is there, will now lose the final digit. Taking the \function{repr()} of a float now uses a different formatting precision than \function{str()}. \function{repr()} uses \code{\%.17g} format string for C's \function{sprintf()}, while \function{str()} uses \code{\%.12g} as before. The effect is that \function{repr()} may occasionally show more decimal places than \function{str()}, for certain numbers. For example, the number 8.1 can't be represented exactly in binary, so \code{repr(8.1)} is \code{'8.0999999999999996'}, while str(8.1) is \code{'8.1'}. The \code{-X} command-line option, which turned all standard exceptions into strings instead of classes, has been removed; the standard exceptions will now always be classes. The \module{exceptions} module containing the standard exceptions was translated from Python to a built-in C module, written by Barry Warsaw and Fredrik Lundh. % Commented out for now -- I don't think anyone will care. %The pattern and match objects provided by SRE are C types, not Python %class instances as in 1.5. This means you can no longer inherit from %\class{RegexObject} or \class{MatchObject}, but that shouldn't be much %of a problem since no one should have been doing that in the first %place. % ====================================================================== \section{Extending/Embedding Changes} Some of the changes are under the covers, and will only be apparent to people writing C extension modules or embedding a Python interpreter in a larger application. If you aren't dealing with Python's C API, you can safely skip this section. The version number of the Python C API was incremented, so C extensions compiled for 1.5.2 must be recompiled in order to work with 2.0. On Windows, it's not possible for Python 2.0 to import a third party extension built for Python 1.5.x due to how Windows DLLs work, so Python will raise an exception and the import will fail. Users of Jim Fulton's ExtensionClass module will be pleased to find out that hooks have been added so that ExtensionClasses are now supported by \function{isinstance()} and \function{issubclass()}. This means you no longer have to remember to write code such as \code{if type(obj) == myExtensionClass}, but can use the more natural \code{if isinstance(obj, myExtensionClass)}. The \file{Python/importdl.c} file, which was a mass of \#ifdefs to support dynamic loading on many different platforms, was cleaned up and reorganised by Greg Stein. \file{importdl.c} is now quite small, and platform-specific code has been moved into a bunch of \file{Python/dynload_*.c} files. Another cleanup: there were also a number of \file{my*.h} files in the Include/ directory that held various portability hacks; they've been merged into a single file, \file{Include/pyport.h}. Vladimir Marangozov's long-awaited malloc restructuring was completed, to make it easy to have the Python interpreter use a custom allocator instead of C's standard \function{malloc()}. For documentation, read the comments in \file{Include/pymem.h} and \file{Include/objimpl.h}. For the lengthy discussions during which the interface was hammered out, see the Web archives of the 'patches' and 'python-dev' lists at python.org. Recent versions of the GUSI development environment for MacOS support POSIX threads. Therefore, Python's POSIX threading support now works on the Macintosh. Threading support using the user-space GNU \texttt{pth} library was also contributed. Threading support on Windows was enhanced, too. Windows supports thread locks that use kernel objects only in case of contention; in the common case when there's no contention, they use simpler functions which are an order of magnitude faster. A threaded version of Python 1.5.2 on NT is twice as slow as an unthreaded version; with the 2.0 changes, the difference is only 10\%. These improvements were contributed by Yakov Markovitch. Python 2.0's source now uses only ANSI C prototypes, so compiling Python now requires an ANSI C compiler, and can no longer be done using a compiler that only supports K\&R C. Previously the Python virtual machine used 16-bit numbers in its bytecode, limiting the size of source files. In particular, this affected the maximum size of literal lists and dictionaries in Python source; occasionally people who are generating Python code would run into this limit. A patch by Charles G. Waldman raises the limit from \verb|2^16| to \verb|2^{32}|. Three new convenience functions intended for adding constants to a module's dictionary at module initialization time were added: \function{PyModule_AddObject()}, \function{PyModule_AddIntConstant()}, and \function{PyModule_AddStringConstant()}. Each of these functions takes a module object, a null-terminated C string containing the name to be added, and a third argument for the value to be assigned to the name. This third argument is, respectively, a Python object, a C long, or a C string. A wrapper API was added for Unix-style signal handlers. \function{PyOS_getsig()} gets a signal handler and \function{PyOS_setsig()} will set a new handler. % ====================================================================== \section{Distutils: Making Modules Easy to Install} Before Python 2.0, installing modules was a tedious affair -- there was no way to figure out automatically where Python is installed, or what compiler options to use for extension modules. Software authors had to go through an arduous ritual of editing Makefiles and configuration files, which only really work on Unix and leave Windows and MacOS unsupported. Python users faced wildly differing installation instructions which varied between different extension packages, which made administering a Python installation something of a chore. The SIG for distribution utilities, shepherded by Greg Ward, has created the Distutils, a system to make package installation much easier. They form the \module{distutils} package, a new part of Python's standard library. In the best case, installing a Python module from source will require the same steps: first you simply mean unpack the tarball or zip archive, and the run ``\code{python setup.py install}''. The platform will be automatically detected, the compiler will be recognized, C extension modules will be compiled, and the distribution installed into the proper directory. Optional command-line arguments provide more control over the installation process, the distutils package offers many places to override defaults -- separating the build from the install, building or installing in non-default directories, and more. In order to use the Distutils, you need to write a \file{setup.py} script. For the simple case, when the software contains only .py files, a minimal \file{setup.py} can be just a few lines long: \begin{verbatim} from distutils.core import setup setup (name = "foo", version = "1.0", py_modules = ["module1", "module2"]) \end{verbatim} The \file{setup.py} file isn't much more complicated if the software consists of a few packages: \begin{verbatim} from distutils.core import setup setup (name = "foo", version = "1.0", packages = ["package", "package.subpackage"]) \end{verbatim} A C extension can be the most complicated case; here's an example taken from the PyXML package: \begin{verbatim} from distutils.core import setup, Extension expat_extension = Extension('xml.parsers.pyexpat', define_macros = [('XML_NS', None)], include_dirs = [ 'extensions/expat/xmltok', 'extensions/expat/xmlparse' ], sources = [ 'extensions/pyexpat.c', 'extensions/expat/xmltok/xmltok.c', 'extensions/expat/xmltok/xmlrole.c', ] ) setup (name = "PyXML", version = "0.5.4", ext_modules =[ expat_extension ] ) \end{verbatim} The Distutils can also take care of creating source and binary distributions. The ``sdist'' command, run by ``\code{python setup.py sdist}', builds a source distribution such as \file{foo-1.0.tar.gz}. Adding new commands isn't difficult, ``bdist_rpm'' and ``bdist_wininst'' commands have already been contributed to create an RPM distribution and a Windows installer for the software, respectively. Commands to create other distribution formats such as Debian packages and Solaris \file{.pkg} files are in various stages of development. All this is documented in a new manual, \textit{Distributing Python Modules}, that joins the basic set of Python documentation. % ====================================================================== \section{XML Modules} Python 1.5.2 included a simple XML parser in the form of the \module{xmllib} module, contributed by Sjoerd Mullender. Since 1.5.2's release, two different interfaces for processing XML have become common: SAX2 (version 2 of the Simple API for XML) provides an event-driven interface with some similarities to \module{xmllib}, and the DOM (Document Object Model) provides a tree-based interface, transforming an XML document into a tree of nodes that can be traversed and modified. Python 2.0 includes a SAX2 interface and a stripped-down DOM interface as part of the \module{xml} package. Here we will give a brief overview of these new interfaces; consult the Python documentation or the source code for complete details. The Python XML SIG is also working on improved documentation. \subsection{SAX2 Support} SAX defines an event-driven interface for parsing XML. To use SAX, you must write a SAX handler class. Handler classes inherit from various classes provided by SAX, and override various methods that will then be called by the XML parser. For example, the \method{startElement} and \method{endElement} methods are called for every starting and end tag encountered by the parser, the \method{characters()} method is called for every chunk of character data, and so forth. The advantage of the event-driven approach is that the whole document doesn't have to be resident in memory at any one time, which matters if you are processing really huge documents. However, writing the SAX handler class can get very complicated if you're trying to modify the document structure in some elaborate way. For example, this little example program defines a handler that prints a message for every starting and ending tag, and then parses the file \file{hamlet.xml} using it: \begin{verbatim} from xml import sax class SimpleHandler(sax.ContentHandler): def startElement(self, name, attrs): print 'Start of element:', name, attrs.keys() def endElement(self, name): print 'End of element:', name # Create a parser object parser = sax.make_parser() # Tell it what handler to use handler = SimpleHandler() parser.setContentHandler( handler ) # Parse a file! parser.parse( 'hamlet.xml' ) \end{verbatim} For more information, consult the Python documentation, or the XML HOWTO at \url{http://pyxml.sourceforge.net/topics/howto/xml-howto.html}. \subsection{DOM Support} The Document Object Model is a tree-based representation for an XML document. A top-level \class{Document} instance is the root of the tree, and has a single child which is the top-level \class{Element} instance. This \class{Element} has children nodes representing character data and any sub-elements, which may have further children of their own, and so forth. Using the DOM you can traverse the resulting tree any way you like, access element and attribute values, insert and delete nodes, and convert the tree back into XML. The DOM is useful for modifying XML documents, because you can create a DOM tree, modify it by adding new nodes or rearranging subtrees, and then produce a new XML document as output. You can also construct a DOM tree manually and convert it to XML, which can be a more flexible way of producing XML output than simply writing \code{}...\code{} to a file. The DOM implementation included with Python lives in the \module{xml.dom.minidom} module. It's a lightweight implementation of the Level 1 DOM with support for XML namespaces. The \function{parse()} and \function{parseString()} convenience functions are provided for generating a DOM tree: \begin{verbatim} from xml.dom import minidom doc = minidom.parse('hamlet.xml') \end{verbatim} \code{doc} is a \class{Document} instance. \class{Document}, like all the other DOM classes such as \class{Element} and \class{Text}, is a subclass of the \class{Node} base class. All the nodes in a DOM tree therefore support certain common methods, such as \method{toxml()} which returns a string containing the XML representation of the node and its children. Each class also has special methods of its own; for example, \class{Element} and \class{Document} instances have a method to find all child elements with a given tag name. Continuing from the previous 2-line example: \begin{verbatim} perslist = doc.getElementsByTagName( 'PERSONA' ) print perslist[0].toxml() print perslist[1].toxml() \end{verbatim} For the \textit{Hamlet} XML file, the above few lines output: \begin{verbatim} CLAUDIUS, king of Denmark. HAMLET, son to the late, and nephew to the present king. \end{verbatim} The root element of the document is available as \code{doc.documentElement}, and its children can be easily modified by deleting, adding, or removing nodes: \begin{verbatim} root = doc.documentElement # Remove the first child root.removeChild( root.childNodes[0] ) # Move the new first child to the end root.appendChild( root.childNodes[0] ) # Insert the new first child (originally, # the third child) before the 20th child. root.insertBefore( root.childNodes[0], root.childNodes[20] ) \end{verbatim} Again, I will refer you to the Python documentation for a complete listing of the different \class{Node} classes and their various methods. \subsection{Relationship to PyXML} The XML Special Interest Group has been working on XML-related Python code for a while. Its code distribution, called PyXML, is available from the SIG's Web pages at \url{http://www.python.org/sigs/xml-sig/}. The PyXML distribution also used the package name \samp{xml}. If you've written programs that used PyXML, you're probably wondering about its compatibility with the 2.0 \module{xml} package. The answer is that Python 2.0's \module{xml} package isn't compatible with PyXML, but can be made compatible by installing a recent version PyXML. Many applications can get by with the XML support that is included with Python 2.0, but more complicated applications will require that the full PyXML package will be installed. When installed, PyXML versions 0.6.0 or greater will replace the \module{xml} package shipped with Python, and will be a strict superset of the standard package, adding a bunch of additional features. Some of the additional features in PyXML include: \begin{itemize} \item 4DOM, a full DOM implementation from FourThought, Inc. \item The xmlproc validating parser, written by Lars Marius Garshol. \item The \module{sgmlop} parser accelerator module, written by Fredrik Lundh. \end{itemize} % ====================================================================== \section{Module changes} Lots of improvements and bugfixes were made to Python's extensive standard library; some of the affected modules include \module{readline}, \module{ConfigParser}, \module{cgi}, \module{calendar}, \module{posix}, \module{readline}, \module{xmllib}, \module{aifc}, \module{chunk, wave}, \module{random}, \module{shelve}, and \module{nntplib}. Consult the CVS logs for the exact patch-by-patch details. Brian Gallew contributed OpenSSL support for the \module{socket} module. OpenSSL is an implementation of the Secure Socket Layer, which encrypts the data being sent over a socket. When compiling Python, you can edit \file{Modules/Setup} to include SSL support, which adds an additional function to the \module{socket} module: \function{socket.ssl(\var{socket}, \var{keyfile}, \var{certfile})}, which takes a socket object and returns an SSL socket. The \module{httplib} and \module{urllib} modules were also changed to support ``https://'' URLs, though no one has implemented FTP or SMTP over SSL. The \module{httplib} module has been rewritten by Greg Stein to support HTTP/1.1. Backward compatibility with the 1.5 version of \module{httplib} is provided, though using HTTP/1.1 features such as pipelining will require rewriting code to use a different set of interfaces. The \module{Tkinter} module now supports Tcl/Tk version 8.1, 8.2, or 8.3, and support for the older 7.x versions has been dropped. The Tkinter module now supports displaying Unicode strings in Tk widgets. Also, Fredrik Lundh contributed an optimization which makes operations like \code{create_line} and \code{create_polygon} much faster, especially when using lots of coordinates. The \module{curses} module has been greatly extended, starting from Oliver Andrich's enhanced version, to provide many additional functions from ncurses and SYSV curses, such as colour, alternative character set support, pads, and mouse support. This means the module is no longer compatible with operating systems that only have BSD curses, but there don't seem to be any currently maintained OSes that fall into this category. As mentioned in the earlier discussion of 2.0's Unicode support, the underlying implementation of the regular expressions provided by the \module{re} module has been changed. SRE, a new regular expression engine written by Fredrik Lundh and partially funded by Hewlett Packard, supports matching against both 8-bit strings and Unicode strings. % ====================================================================== \section{New modules} A number of new modules were added. We'll simply list them with brief descriptions; consult the 2.0 documentation for the details of a particular module. \begin{itemize} \item{\module{atexit}}: For registering functions to be called before the Python interpreter exits. Code that currently sets \code{sys.exitfunc} directly should be changed to use the \module{atexit} module instead, importing \module{atexit} and calling \function{atexit.register()} with the function to be called on exit. (Contributed by Skip Montanaro.) \item{\module{codecs}, \module{encodings}, \module{unicodedata}:} Added as part of the new Unicode support. \item{\module{filecmp}:} Supersedes the old \module{cmp}, \module{cmpcache} and \module{dircmp} modules, which have now become deprecated. (Contributed by Gordon MacMillan and Moshe Zadka.) \item{\module{gettext}:} This module provides internationalization (I18N) and localization (L10N) support for Python programs by providing an interface to the GNU gettext message catalog library. (Integrated by Barry Warsaw, from separate contributions by Martin von~L\"owis, Peter Funk, and James Henstridge.) \item{\module{linuxaudiodev}:} Support for the \file{/dev/audio} device on Linux, a twin to the existing \module{sunaudiodev} module. (Contributed by Peter Bosch, with fixes by Jeremy Hylton.) \item{\module{mmap}:} An interface to memory-mapped files on both Windows and Unix. A file's contents can be mapped directly into memory, at which point it behaves like a mutable string, so its contents can be read and modified. They can even be passed to functions that expect ordinary strings, such as the \module{re} module. (Contributed by Sam Rushing, with some extensions by A.M. Kuchling.) \item{\module{pyexpat}:} An interface to the Expat XML parser. (Contributed by Paul Prescod.) \item{\module{robotparser}:} Parse a \file{robots.txt} file, which is used for writing Web spiders that politely avoid certain areas of a Web site. The parser accepts the contents of a \file{robots.txt} file, builds a set of rules from it, and can then answer questions about the fetchability of a given URL. (Contributed by Skip Montanaro.) \item{\module{tabnanny}:} A module/script to check Python source code for ambiguous indentation. (Contributed by Tim Peters.) \item{\module{UserString}:} A base class useful for deriving objects that behave like strings. \item{\module{webbrowser}:} A module that provides a platform independent way to launch a web browser on a specific URL. For each platform, various browsers are tried in a specific order. The user can alter which browser is launched by setting the \var{BROWSER} environment variable. (Originally inspired by Eric S. Raymond's patch to \module{urllib} which added similar functionality, but the final module comes from code originally implemented by Fred Drake as \file{Tools/idle/BrowserControl.py}, and adapted for the standard library by Fred.) \item{\module{_winreg}:} An interface to the Windows registry. \module{_winreg} is an adaptation of functions that have been part of PythonWin since 1995, but has now been added to the core distribution, and enhanced to support Unicode. \module{_winreg} was written by Bill Tutt and Mark Hammond. \item{\module{zipfile}:} A module for reading and writing ZIP-format archives. These are archives produced by \program{PKZIP} on DOS/Windows or \program{zip} on Unix, not to be confused with \program{gzip}-format files (which are supported by the \module{gzip} module) (Contributed by James C. Ahlstrom.) \item{\module{imputil}:} A module that provides a simpler way for writing customised import hooks, in comparison to the existing \module{ihooks} module. (Implemented by Greg Stein, with much discussion on python-dev along the way.) \end{itemize} % ====================================================================== \section{IDLE Improvements} IDLE is the official Python cross-platform IDE, written using Tkinter. Python 2.0 includes IDLE 0.6, which adds a number of new features and improvements. A partial list: \begin{itemize} \item UI improvements and optimizations, especially in the area of syntax highlighting and auto-indentation. \item The class browser now shows more information, such as the top level functions in a module. \item Tab width is now a user settable option. When opening an existing Python file, IDLE automatically detects the indentation conventions, and adapts. \item There is now support for calling browsers on various platforms, used to open the Python documentation in a browser. \item IDLE now has a command line, which is largely similar to the vanilla Python interpreter. \item Call tips were added in many places. \item IDLE can now be installed as a package. \item In the editor window, there is now a line/column bar at the bottom. \item Three new keystroke commands: Check module (Alt-F5), Import module (F5) and Run script (Ctrl-F5). \end{itemize} % ====================================================================== \section{Deleted and Deprecated Modules} A few modules have been dropped because they're obsolete, or because there are now better ways to do the same thing. The \module{stdwin} module is gone; it was for a platform-independent windowing toolkit that's no longer developed. A number of modules have been moved to the \file{lib-old} subdirectory: \module{cmp}, \module{cmpcache}, \module{dircmp}, \module{dump}, \module{find}, \module{grep}, \module{packmail}, \module{poly}, \module{util}, \module{whatsound}, \module{zmod}. If you have code which relies on a module that's been moved to \file{lib-old}, you can simply add that directory to \code{sys.path} to get them back, but you're encouraged to update any code that uses these modules. \section{Acknowledgements} The authors would like to thank the following people for offering suggestions on various drafts of this article: David Bolen, Mark Hammond, Gregg Hauser, Jeremy Hylton, Fredrik Lundh, Detlef Lannert, Aahz Maruch, Skip Montanaro, Vladimir Marangozov, Tobias Polzin, Guido van Rossum, Neil Schemenauer, and Russ Schmidt. \end{document}