Friday, July 8, 2011

Karin Dewar, Indentation and the Colon

In a recent post on my other blog I mentioned a second-hand story about how Python's indentation was invented by the wife of Robert Dewar. I added that I wasn't very sure of the details, and I'm glad I did, because the truth was quite different. I received a long email from Lambert Meertens with the real story. I am going to quote it almost completely here, except for some part which he requested not to be quoted. In summary: Karin Dewar provided the inspiration for the use of the colon in ABC (and hence in Python) leading up to the indentation, not for indentation itself. Here is Lambert's email:

The Dewar story is not about indentation, but about the invention of the colon.

First about indentation in B. Already B0, the first iteration in the B0, B1, B2, ... sequence of designs leading to ABC, had non-optional indentation for grouping, supplemented by enclosing the group between BEGIN and END delimiters. This can be seen in [GM76], section 4.1 (Layout). The indentation was supposed to be added, like pretty printing, by a dedicated B editor, and the user had no control over this; they were not supposed to be able to turn this off or otherwise modify the indentation regime.

Given the mandatory indentation, separate BEGIN and END delimiters are of course superfluous; in B1 we had no BEGIN, but only END IF, END FOR, and so on, and then the latter delimiters were also dropped in B2, leaving pure indentation as the sole indicator of grouping. See [ME81], Section 4 (STATEMENT SYNTAX).

The origin of indentation in ABC is thus simply the desire to have the program text look neat and be suggestive of the meaning, codifying what was already common practice but not enforced. The decision to remove the noise of BEGIN ... END may have been influenced by [PL75], which actually advocated using pure indentation for grouping. Since occam came later (1983), the feature can't have been copied from that language. Same for Miranda (1985). As far as I am aware, B was the first actually published (and implemented) language to use indentation for grouping.

Now the Dewar story, which is how I got the idea of the colon, as I wrote it down in a memoir of the ABC design rationale:

And here I will paraphrase, at Lambert's request.

In 1978, in a design session in a mansion in Jabłonna (Poland), Robert Dewar, Peter King, Jack Schwartz and Lambert were comparing various alternative proposed syntaxes for B, by comparing (buggy) bubble sort implementations written down in each alternative. Since they couldn't agree, Robert Dewar's wife was called from her room and asked for her opinion, like a modern-day Paris asked to compare the beauty of Hera, Athena, and Aphrodite. But after the first version was explained to her, she remarked: "You mean, in the line where it says: 'FOR i ... ', that it has to be done for the lines that follow; not just for that line?!" And here the scientists realized that the misunderstanding would have been avoided if there had been a colon at the end of that line.

Lambert also included the following useful references:

[PL75] P. J. Plauger. Signal and noise in programming language. In J. D. White, editor, Proc. ACM Annual Conference 1975, page 216. ACM, 1975.

[GM76] Leo Geurts and Lambert Meertens. Designing a beginners' programming language. In S.A. Schuman, editor, New Directions in Algorithmic Languages 1975, pages 1–18. IRIA, Rocquencourt, 1976.

[ME81] Lambert Meertens. Issues in the design of a beginners' programming language. In J.W. de Bakker and J.C. van Vliet, editors, Algorithmic Languages, pages 167–184. North-Holland Publishing Company, Amsterdam, 1981.

7 comments:

  1. long time no see, maybe there is a typo?
    But after the first version was explained to here
    ->
    But after the first version was explained to HER

    ReplyDelete
  2. How many memories ... my first program 2 +2 = 4 written with python on the Commodore Amiga...

    ReplyDelete
  3. Interesting story, and also, by coincidence (and off-topic), referring to -

    >like a modern-day Paris asked to compare the beauty of Hera, Athena, and Aphrodite

    - I was just yesterday browsing a chain of (mostly Wikipedia) links relating to Paris, Troy, Greece, Hera, Athena, Illyrians, and many other related et ceteras ...

    ReplyDelete
  4. This is great; I'm planning to teach Python to programming novices (psychologists, specifically), and historical insights like this will be very nice additions to the material. Thanks for putting this down somewhere!

    ReplyDelete
  5. Thank you for providing references to those papers!

    ReplyDelete
  6. One time, Karin Dewar (my sister-in-law) showed me a geometry proof she had done in High School proving congruency of the sides (or base angles) of an isosceles triangle. It involved proving the triangle must be congruent to its mirror image (i.e. drawing the triangle on a piece of paper and flipping the paper over), and hence the base angles (or sides) must be congruent. I had never seen this idea mentioned anywhere (although subsequently a computer program apparently stumbled on it). She was one very smart lady ;)
    CESDewar

    ReplyDelete

Note: Only a member of this blog may post a comment.