PEP572とGuido van RossumのBDFL引退

普段はPythonの最新の開発動向は追いかけていない私ですが、たまたまTwitterで
Pythonの生みの親Guido van Rossumの下記のツイートを目にしました。

PEP 572 accepted. https://t.co/N9lKeDs7e5

— Guido van Rossum (@gvanrossum) July 12, 2018

何気なくこのPEP 572を斜め読んで、結構大胆な拡張だなぁ、などとその時は思っていました。

今日たまたま、Rubyの生みの親まつもとゆきひろ氏がこんなツイート

BFDL引退して、大食いユーチューバーを見てるってのは、それはそれで正しい生き方だな

— Yukihiro Matsumoto (@yukihiro_matz) July 13, 2018

をしているのを見つけて、YoutuberっていうのはGuidoのこのツイート

My new favorite YouTube channel. https://t.co/JlTTtMLeNI

— Guido van Rossum (@gvanrossum) July 5, 2018

のことを指していると分かったのですが、GuidoがBDFLを引退っていうところにびっくりして調べてみました。

BDFLは、Benevolent Dictator For Lifeの略で優しい終身の独裁者と訳されていますが、この言葉自体Guidoが使い始めたらしいです。

Pythonの言語仕様の拡張に関する提案は、PEPn (nは番号) という文書に記述されていますが、これらの提案を受け入れるか棄却するか、最終的に決定するというのが、今までのGDFLとしてのGuidoの役割でした。BDFLの役割や、PEPのドラフトやレビューといった言語仕様変更の手続き自体、PEP1に書かれています。

生みの親がそれを辞めるというのですから大事ですが、その理由が、PEP572の議論だったそうです。詳しくはこの記事に書いてありますが、要はPEP572での論争があまりにも激し過ぎて疲れ果てたし、自分の判断を嫌う人たちを見たくない、ということが理由ということです。

PEP572

そんな未曽有の大論争を巻き起こしたPEP572は何についてかというと、代入式の追加です。
今までPythonでは名前への代入は文しかなく、代入式はありませんでした。PEP 572により、
NAME := expr という代入式が新たに導入されることになります。正確にはnamed expressionという
式の値が右辺のexprの評価値で、副作用として同じ値に左辺の名前が付きます。新たなスコープは導入されません。

PEP572に挙げられている例は、

# Handle a matched regex
if (match := pattern.search(data)) is not None:
    # Do something with match

# A loop that can't be trivially rewritten using 2-arg iter()
while chunk := file.read(8192):
   process(chunk)

# Reuse a value that's expensive to compute
[y := f(x), y**2, y**3]

といったもので、確かに、cみたいに代入式が使えれば、同じものを二度評価したりしなくてもよかったり、もっと文が短くなるのに…と思うことはありました。

PEP572は、Python 3.8に反映される予定です。