{"id":7429,"date":"2021-10-07T18:05:24","date_gmt":"2021-10-07T17:05:24","guid":{"rendered":"https:\/\/www.blopig.com\/blog\/?p=7429"},"modified":"2021-10-22T18:53:58","modified_gmt":"2021-10-22T17:53:58","slug":"list-comprehension-an-elegant-python-feature-inspired-by-mathematical-set-theory","status":"publish","type":"post","link":"https:\/\/www.blopig.com\/blog\/2021\/10\/list-comprehension-an-elegant-python-feature-inspired-by-mathematical-set-theory\/","title":{"rendered":"List comprehension: an elegant Python feature inspired by mathematical set theory"},"content":{"rendered":"\n

Even though I have now deeply entered into the fascinating world of statistical machine learning and computational chemistry, my original background is very much in pure mathematics. Having spent some of my intellectually formative years in this highly purified and abstract universe, I still love to think in terms of sets, ordered tuples and well-defined functions whenever I have the luxury of being able to do so. This might be why list comprehension is one of my favourite features in Python.<\/p>\n\n\n\n

List comprehension allows you to efficiently map a function over a list using elegant notation inspired by mathematical set theory. Let us first consider a (mathematical) set<\/p>\n\n\n\n

\"A<\/p>\n\n\n\n\n\n\n\n

Then<\/p>\n\n\n\n

\"B<\/p>\n\n\n\n

describes a new set which is obtained by mapping the function \"f(x) over the set \"A\". In Python, you can use the syntax of list comprehension to do something completely analogous with lists!<\/p>\n\n\n\n

To see this, lets look at the following Python list:<\/p>\n\n\n\n

A = [1, 3, 7].<\/pre>\n\n\n\n
Assume we want to map the square function \"f(x) over this list. A slow and rather clumsy way to achieve this is by using a for-loop and the “append” command:<\/p>\n\n\n\n
B = []\n\nfor a in A:\n    B.append(a**2)\n\n# B = [1, 9, 49]<\/pre>\n\n\n\n
 However, the exact same result can be generated using the following concise and elegant expression:<\/p>\n\n\n\n
B = [a**2 for a in A] # B = [1, 9, 49].<\/pre>\n\n\n\n
Such expressions are called list comprehensions in Python. The analogy to the set theory notation from above is obvious. <\/p>\n\n\n\n
But wait, there is more. What if we want to filter the original list \"A\" in some way before mapping a function over it? For example, what if we only want to consider elements of \"A\" which are larger than \"2\"? <\/p>\n\n\n\n
Instead of writing<\/p>\n\n\n\n
B = []\n\nfor a in A:\n    if a > 2:\n        B.append(a**2)\n\n# B = [9, 49]<\/pre>\n\n\n\n
we just write<\/p>\n\n\n\n
B = [a**2 for a in A if a > 2] # B = [9, 49].<\/pre>\n\n\n\n
You get the idea.<\/p>\n\n\n\n
Of course you can also use list comprehensions merely for filtering, technically by mapping the identity function over the original list:<\/p>\n\n\n\n
C = [a for a in A if a > 2] # C = [3, 7].<\/pre>\n\n\n\n
Not only are list comprehensions much more compact and elegant than for-loops, they also often tend to be faster. Lets do a simple experiment on my laptop. Let<\/p>\n\n\n\n
R = list(range(10**7))<\/pre>\n\n\n\n
 be the list of the first \"10^7\" natural numbers starting at \"0\". Evaluating<\/p>\n\n\n\n
S = []\nfor r in R:\n    S.append(r**2)<\/pre>\n\n\n\n
takes \"\mathbf{3.56}\" seconds while evaluating<\/p>\n\n\n\n
S = [r**2 for r in R]<\/pre>\n\n\n\n
only takes \"\mathbf{2.33}\" seconds. So in this case, we get a reduction in computational time of about \"\mathbf{35. Time estimates were obtained by averaging over \"10\" independent trials.<\/p>\n\n\n\n
Note that list comprehensions are certainly not restricted to lists of numbers, but can also easily be used with lists of strings, lists of lists, or lists of anything, really. There are also set- and dictionary comprehensions in Python which make it possible to directly create Python sets and Python dictionaries from Python lists in a set-theoretic manner. <\/p>\n\n\n\n
My appreciation of list comprehensions is shared by the well-known MIT researcher, AI enthusiast and podcaster Lex Fridman, who even dedicated a short YouTube video to this feature. I used his video as a source for this blog entry and encourage you to watch it here:<\/p>\n\n\n\n
\n