Share this article
IT & Digital
 - 
4 min read
Uri Valevski
 - 

Should You Use Nested Functions to Encapsulate Logic?

Sometimes simple questions lead you to an interesting trail of thoughts. This one was “should you use nested functions to encapsulate logic only used once?”

First of all, a small refresher, nested functions are functions written within a scope of another function. They have many uses in python.

Example 1

But for this question, the asker was interested in the case where some logic which is used only within foo can be encapsulated within its scope.

When coding we want to hide immaterial detail. E.g. we mark functions as private as much as we can (well in python we can’t really, so we use a leading underscore convention _like_this). So that’s a good reason to use nested functions — help the reader understand that the logic of bar will not be used anywhere else.

However beyond considering the benefits of something, we should also consider the cost. So what are the costs here?

  • Extra indent making it hard to read
  • Adding a bunch of names to juggle when reading the scope of bar.
  • Making the dependencies of bar hard to reason about.

The first point needs no further explanation I believe. Anyone who programmed in python has tasted the double edged sword of minimizing noise by eliminating brackets (hint: brackets are not noise…).

As for the multitude of names, without training, humans can juggle 1–2 balls in the air. With some consistent training they can do 3. Some talented ones can do 5, but it’s vey rare for someone to go that far.

We should program with that limitation in mind. To make it into a rule of thumb — there shouldn’t be more than 3 names I’m carrying around in my mind when looking at a scope. In the nested function case when reading the scope of bar I now have to carry a, b and c in mind, needlessly.

As for the last point, in the nested version, I now have to understand that bar doesn’t depend on a, instead of it being obvious (well it might be obvious in this example, but consider a less trivial implementation of bar).

So really this version has much more information about it:

Example 2

The feeling should be that of a mental relief, I can free up some worries when reading parts of this code, whereas previously my mind was clenched, juggling, worrying I might not notice something.

The previous version constitutes a loss of information. This information can still be understood by inference, but energy has to be invested. Note that one direction is easy, it’s easy to go from this versrion to the previous one, but it’s considerably harder the other way around — some reasoning is involved. This is no surprise, it’s much easier to mess a room up than tidy it.

This feeling might be familiar from doing refactoring — you discover things about your code, and this is an often painful process, because so much is hidden and needs to be realized.

If the word entropy comes to mind, you grasped what I’m getting at. Writing good code means minimizing entropy. You do so by inferring things about your code, and structure it to be simpler using these inferences. This is measured best by the size of your codebase (“asymptotic” size, not how short your function names are or how much whitespace you allow for…).

Here’s an easy example:

Compare this:

Example 3

And this:

Example 4

We have to “find out” something about the code above to be able to write the code below — in this case that we are filtering something. This insight causes simplification.

Here’s a less obvious one —

Compare this:

Example 5

And this:

Example 6

To go from the latter to the former involves loss of information, we don’t know when the default is used. We don’t know when reading foo3 if the default is to be considered at all (c is “sometimes” 7).

To summarize:

  1. Patterns of programming should be judged by their effect on entropy (rather than how familiar they are to use).
  2. Good patterns may feel limiting at first look — this is natural, you can’t make a mess as easily.
  3. If left unchecked your codebase will become a “black hole” — new code can be added, but no information can escape.
  4. Tracking entropy is not trivial, but is crucial. It is related to duplication, entanglement, readability and code size (“asymptotic”, not how short your function names are…).
“Only entropy comes easy” — Anton Chekhov


The best of conversational technologies, delivered weekly.
Thank you! Your submission has been received!
Oops! Something went wrong while submitting the form.
Conversational AI
Digital Transformation
Natural Language
Hot Off the Press! The Ultimate Guide to Implementing Conversational AI Within Your Organization.
Discover why 80% of enterprises are moving to conversational AI as intent-based chatbots continue to fail the test of scalability. Download our guide!
Get Your Free Copy
Uri Valevski
July 26, 2021
Share
0
% Read
People who read this article also enjoyed:
Healthcare
 - 
10 min read

The 22 Best Healthcare Podcasts You Can’t Miss in 2022

Healthcare professionals are overworked and understaffed. In fact, 20% of the industry left in 2021-2022, with 28% of those ex-healthcare employees stating that the reason was due to being burnt out. So how will those same healthcare professionals, especially executives, find time to discover and listen to podcasts? We wanted to at least do that work for you, sourcing the top 22 healthcare podcasts in 2022 right here.

Aaron Bours
August 16, 2022
Real Estate
 - 
5 min read

5 Minutes in Multifamily with Eric Roseman

For this episode, we were honored to welcome Eric Roseman, Chief Revenue Officer at Xeal, a technology-first electric vehicle charging company operating at the intersection of mobility, real estate, IoT, and energy. Eric shares his perspective on the future of apartment and office buildings, how to keep tenants happy and the importance of providing the appropriate facilities for EV's.

Liat Kozuch
July 27, 2022
Real Estate
 - 
5 min read

5 Minutes in Multifamily with Donje Putnam

For this episode, we were honored to welcome Donje Putnam, Regional Property Manager at S. L. Nusbaum Realty Co. - one of the largest real estate development companies in the southeastern United States. They offer a full spectrum of real estate services, including multifamily, office, industrial, retail, land and investment sales and leasing, third party property management, mixed-use development, commercial development, multi-family development, apartment leasing and a full menu of financial services. Donje shares her perspective on the importance of personalization for residents and the next big trends in multifamily.

Liat Kozuch
July 27, 2022