隨便聊聊 PEP570
最近沉迷與 MIT 6.824 這門分散式系統的課，無心寫文章。不過看到 PEP570 被接受了，決定還是寫篇水文隨便聊聊 PEP 570
Python 的 argument
在聊 PEP570 之前，我們先要來看看 Python 的 argument 變遷
早在 Python 1.0 或更早，Python 的 argument 系統就已經支援我們現在主要使用的兩種引數形式了，一種是 positional 一種是 keyword，舉幾個例子
def abc(a, b, c):
pass
abc(1, 2, 3)
abc(1, 2, c=3)
abc(1, b=2, c=3)
abc(*(1, 2, 3))
abc(**{"a": 1, "b": 2, "c": 3})
這是不是我們常見的集中使用方式？
在發展了很長一段時間後，雖然期間有一些提案對 Python 的 argument 系統做優化和增強，但是一直都被 Reject，直到 PEP3102 的出現
3102 主要引入了一個概念叫做 Keyword-Only Arguments，給個例子
有這樣一個函式定義
def abc(a, *, b, c): pass
那麼這個函式只支援這樣幾種方式呼叫
def abc(a, *, b, c):
pass
abc(**{"a": 1, "b": 2, "c": 3})
abc(a=1, b=2, c=3)
abc(1, b=2, c=3)
OK，大概聊完 Argument 一個迭代的過程，我們來聊聊 570 這個提案
隨便聊聊 PEP 570
570 做的事情其和 3102 類似，3102 是引入語法糖，讓函式支援 keyword-only 的使用方式，那麼 570 就是讓函式支援 positional-only 的使用方式
假定有這樣一個函式定義
def abc(a, b, /, c): pass
那麼 570 使得函式只支援這樣的呼叫方式
def abc(a, b, /, c): pass abc(1, 2, c=3) abc(1, 2, 3)
如果不這樣做會怎麼樣呢？我們可以來試試，目前 PEP570 有一個實現，參見 bpo-36540: PEP 570 – Implementation ，我們來編譯測試一下，效果如下
碎碎念
很多人其實沒想清楚關於 570 的存在意義，PEP 570 上也提到了很多 Motivation 。不過我自己覺得，它和 3102 一樣都是在踐行一個理念，則
explicit is better than implicit
換句話說，如果要儘可能的保證程式碼風格的一致性，我們需要一定程度上語法特性的支援。而 570 和 3102 就是解決這樣的問題。
所以從我自己的角度來說，我覺得 570 是個蠻重要的提案，也是很有意義的提案（都是 PEP57x ，為啥大家待遇能差這麼多呢？（笑
對了，講個段子， Python 的 Core 之一 Serhiy Storchaka 非常喜歡這個 PEP，然後在 PEP570 的實現沒合併到主分支之前，就已經先把內建的一些庫給改良了一下，大家可以去圍觀一下 PR [WIP] Use PEP 570 syntax for positional-only parameters
好了，今天的水文就到此結束了。。我寫文章真的是越來越水了。。