Guido 談 Python 的過去、現在與未來

用釣客與駭客同在一艘船上的比喻，破題「什麼是程式語言」，帶出 Python 3.11 號稱快 10 到 60% 的話題。

解釋程式碼可讀性為什麼重要：軟體是團隊的社交活動，不是獨自一人的創作；也談縮排四個空白怎麼從 2 到 12 空白的亂象裡變成折衷慣例。

認真回答「如果能重來，Python 還會選縮排嗎」的思想實驗：縮排省下一對括號，也讓初學者少背一項語法規則，但語言一旦定案就再也換不了。

從早期 shell script 沒有變數與參數的年代講起，解釋 `$` 是怎麼被發明來區分檔名跟變數名稱的。

引用一份行銷報告：平均每千行程式碼有 70 個 bug，75% 的開發時間花在除錯；兩人一起吐槽這種數字的可信度。

自曝從沒學會十指打字，靠 Kinesis 鍵盤把退格鍵挪到拇指下方，省掉一般鍵盤要伸長小指去按退格的痛苦；也聊到 ActionScript、Flash 這種曾經投資後來報廢的技能。

Lex 談自己在機器人領域從 C++ 全面轉向 Python 的心路歷程，兩人一起討論怎麼判斷一個程式語言值不值得長期投資。

解釋 Python 其實有編譯器，只是編譯成給直譯器讀的位元碼而非機器碼；用質數判斷演算法示範「簡單」與「效能」之間的取捨。

3.11 加速的核心技巧：直譯器賭「這行程式碼上次加的是整數，這次大概還是」，猜對就抄捷徑，猜錯才退回萬用版本。

型別提示只是可選的「子語言」，本身不影響直譯器執行，真正檢查型別對不對的是另外跑的靜態型別檢查器，跑起來比較像 linter。

MyPy 是最早的靜態型別檢查器，作者 Jukka Lehtosalo 原本自創一套跟 Python 不相容的語法，2013 年跟 Guido 在研討會上談出折衷寫法，才變成 PEP 484。

MyPy 由一群維護者的小型開源專案撐著，Google、Facebook、微軟後來都嫌它不夠快、覺得值得投資，索性各自做了一套自己的靜態型別檢查器。

從 80 年代初用 vi 一路聊到當了近四十年的 Emacs 使用者，2013 到 2018 年間也短暫嘗試過 PyCharm；他認為 VS Code 的擴充架構其實是 Emacs 精神的延續。

用「只有一張桌子的餐廳」與「多釣幾根釣竿」的比喻解釋平行、並行與非同步的差別，也用「共用 mermaid、merman 變數」的例子示範同步機制為什麼容易出錯。

回顧 AsyncIO 從標準庫裡兩個不夠用的舊模組，一路變成史上最大 Python 增強提案的過程；也解釋當初為什麼選擇「任務」而非回呼（callback）的寫法。

GIL 是 Python 早期為了讓直譯器在多執行緒下安全運作想出的折衷辦法，在單核年代沒問題，多核當道後才變成瓶頸。

Facebook 一位工程師做出拿掉 GIL 的 CPython 分支；Guido 設想如果真有 Python 4.0，會是先讓擴充套件開發者花好幾個版本適應、不破壞相容性的漸進轉換。

自認寫 Python 工具時很少依賴第三方套件；也解釋標準庫近年常做的「春季大掃除」：把過時多年沒人碰的模組慢慢移除。

從哈伯太空望遠鏡團隊、把 Fortran 函式庫包給高階語言用的「computational steering」講起，也點出 MATLAB 沒有開源文化才是它敗給 Python 的關鍵。

坦言自己在仁慈獨裁者位子上待太久，長期承受說不清原因的壓力；但也認為那個角色替社群帶來清楚一致的方向感。

Dropbox 每年一次大改組讓人吃不消，但產品本身一直很穩；也聊到自己從沒學好 Excel 這件「人生一大憾事」。

認為 Satya Nadella 帶微軟從敵視開源轉向擁抱開源，靠的是個人魅力說服整個領導層；也聊到工程師該選大公司安穩，還是自己出去創業。

每天都在用 GitHub Copilot，認為它省下的是打字的功夫而不是思考的功夫，也提醒不該拿它做自己不懂原理的事。

猜測 Python 終將變成沒人注意到的底層基礎建設；也用 DNA 到細胞、個人到文明的層層抽象，收尾這場橫跨技術與哲學的對談。