tungwaiyip.info

home

about me

links

my software

Media

Yucatán Photos

St Lucia Photos

Photo Album

Videos

Blog

< June 2005 >
SuMoTuWeThFrSa
    1 2 3 4
5 6 7 8 91011
12131415161718
19202122232425
2627282930  

past articles »

Click for San Francisco, California Forecast

San Francisco, USA

 

Python's half open index notation

Beginner programmers often wonder about Python's sequence indexing and slicing notation. Array index starts from 0. Slicing uses half open notations, where L[a:b] is a subsequence with index x where a <= x < b.

Why is the endpoint excluded? Isn't it more intuitive if array index starts from 1 and the endpoint is included, so that a 3 elements array is referenced as L[1:3] with items L[1], L[2], L[3]?

It turns out this notation is an elegant and deliberate design and it has some excellent properties.

We write programs to operate on arrays, to find their length, traverse the subsequences, split them or join them. The half open notation always show a simple pattern. But the inclusive notation often requires adding 1 or substracting 1 to the indexes in many operations. Thus it is more vulnerable to off-by-one-error. This article One True Way of array indexing discuss this at length. I have reproduce its example (with corrections) below:

Operation Half open Inclusive
length of a slice L[a:b] b-a (b-a+1)
first n characters of L L[:n] L[1:n]
last n characters of L L[-n:] L[len(L)-n+1:]
The identity slice L == L[0:len(L)] == L[:] L[1:len(L)]
The empty slice L[a:a] is empty for any a. perhaps L[a:a-1]?
A slice of length n, from point a L[a:a+n] L[a:a+n-1]
Split L[a:b] at index c L[a:b] == L[a:c]+L[c:b] L[a:c-1]+L[c:b]

Another important property is an empty sequence can be expressed by L[a:a], while there is no natural way to express an empty sequence with the inclusive notation. But do we really need to care about a special case? Absolutely! In fact failure to account for empty input is one of the most common error. Just like zero is a fundamental concept in mathematics, always think how you program can handle null input. An inferior approach is to represent empty sequence by None or null pointer. This creates a special case so that a variable need to be tested before dereferencing. Failure to do so contributes to unexpected exceptions. It is an elegant design that L[a:b] can also represent sequences with 0 length.

C++'s STL also choose this notation to represent a range. According to the literature this is crucial because "algorithms that operate on n things frequently require n+1 positions. Linear search, for example (find) must be able to return some value to indicate that the search was unsuccessful." I have seen so many people flunked link list or data structure exercises because they have trouble dealing with the end of a list. Often a good solution is shift the focus beyond the n concrete objects to the n+1 positions around them. I hope this help to make sense of the half open notation.

2005.06.16 [, ] - comments

 

 

blog comments powered by Disqus

past articles »

 

BBC News

 

Russia restricts Nemtsov mourners (03 Mar 2015)

 

Obama seeks long Iran nuclear freeze (03 Mar 2015)

 

Coffee linked to 'cleaner' arteries (03 Mar 2015)

 

Emwazi tape: I'm no extremist (03 Mar 2015)

 

Chile's Villarica volcano erupts (03 Mar 2015)

 

'Cloudy' drug halts US execution (03 Mar 2015)

 

Canadian 'missing in North Korea' (03 Mar 2015)

 

'Attractive jihadists lure UK girls' (03 Mar 2015)

 

'Monitoring deal' on Ukraine truce (03 Mar 2015)

 

for Sierra Leone to fight Ebola (03 Mar 2015)

more »

 

Slashdot News for nerds, stuff that matters

 

Police Could Charge Data Center Operators In the Largest Child Porn Bust Ever (2015-03-03T01:11:00Z)

 

Ask Slashdot: Which Classic OOP Compiled Language: Objective-C Or C++? (2015-03-03T00:28:00Z)

 

New Seagate Shingled Hard Drive Teardown (2015-03-02T23:46:00Z)

 

Marissa Mayer On Turning Around Yahoo (2015-03-02T23:03:00Z)

 

Google Prepares To Enter Wireless Market As an MVNO (2015-03-02T22:20:00Z)

 

Photo First: Light Captured As Both Particle and Wave (2015-03-02T21:36:00Z)

 

Blackphone 2 Caters To the Enterprise, the Security-Minded and the Paranoid (2015-03-02T20:52:00Z)

 

NASA's Spitzer Team Releases Highest-resolution View of the Full Galactic Plane (2015-03-02T20:30:00Z)

more »

 

TechPsychic Tech Rumors and Invented News

more »

 

SF Gate

 

Bay Area News (7 Jan 2012)

 

City Insider (11 Feb 2012)

 

Crime Scene (13 Feb 2012)

 

C.W Newius Column (10 Jan 2012)

 

C.W. Nevius Blog (11 Feb 2012)

 

Education News (10 Jan 2012)

 

KALW (11 Feb 2012)

 

Matier and Ross Blog (11 Feb 2012)

 

Seven Americans in top 10 of Forbes' World's Richest list (2 Mar 2015)

 

Hackers get info on 50,000 Uber drivers (2 Mar 2015)

 

Virtual reality, e-sports headline SF Game Developers Conference (1 Mar 2015)

 

Office Space: Sprig cooks and codes in S.F. (1 Mar 2015)

 

Review: BlackBerry Classic a throwback, with limited capabilities (1 Mar 2015)

 

'Fro Patrol’ (28 Feb 2015)

more »

 

Asia Times Online

 

An unlikely marriage in Kashmir (Mon 2 Mar 2015 11:00:00 GMT)

 

HK maids' torturer gets 6 years (Mon 2 Mar 2015 11:00:00 GMT)

 

Israeli ex-generals condemn Netanyahu (Mon 2 Mar 2015 11:00:00 GMT)

 

COMMENT The Middle East and perpetual war (Mon 2 Mar 2015 11:00:00 GMT)

 

My war on terror (Mon 2 Mar 2015 11:00:00 GMT)

 

EU raises profile in Caucasus (Mon 2 Mar 2015 11:00:00 GMT)

 

Europe's upside-down myth about Greek debt (Mon 2 Mar 2015 11:00:00 GMT)

 

CREDIT BUBBLE BULLETIN Periphery fragility list (Mon 2 Mar 2015 11:00:00 GMT)

more »

 


Site feed Updated: 2015-Mar-03 03:00