如果現代Python有一個標誌性特性，那麼簡單說來便是Python對自身定義的越來越模糊。在過去的幾年的許多項目都極大拓展了Python，並重建了“Python”本身的意義。
與此同時新技術的湧現侵佔了Python的份額，並帶來了新的優勢：
- Go - ( Goroutines, Types, Interfaces )
- Rust - ( Traits, Speed, Types )
- Julia - ( Speed, Types, Multiple Dispatch )
- Scala - ( Traits, Speed, Types )
- Clojure ( Metaprogramming, DSLs, Protocols )
這是一篇Python對這些新技術、新庫及模型響應的簡短指南：
元編程
MacroPy 是一個元編程框架，它提供了多種語法結構，將現代語言元素編譯成標準的Python代碼，擴展了Python AST。舉個例子，我們可以實現對代數數據類型的衡量:
消失的部分仍然是一個沿著camlp4路線，可擴展階段的元編程系統。但是 Mython提供了一個pgen2解析框架，給引用塊定義了新的語法，來解決這個問題。
類型
Python 是動態類型語言，並且引以為傲。我當然不希望對類型的“聖戰”煽風點火，但同時肯定有大學派認為構建可靠的應用程序需要有比只使用單元測試更加有力的保障。Benjamin Pierce對類型系統的定義如下：
...一種易於處理的語法，通過根據計算值的類型對詞組分類證明了缺少了特定的程序行為重點是證明有關運行空間的屬性， 所有程序行為的運行空間替代了只是簡單地羅列有限種情況的運行空間。全靜態類型對於Python是否是正確的選擇讓人十分疑惑，但是在過度的動態類型和靜態類型保證之間肯定有更加合適的方案。MyPy project找到了一個不錯的平衡點，允許有類型的和沒有類型的代碼能夠同時存於語言的超集中。例如：
當然對C語言沒有太多的用處。所以我們不只限於簡單類型的函數，參數類型也有泛型，指針類型和各種各樣內建的類型級的函數。
我們也能定義更加高級的泛型結構例如函子和單元
速度
“高性能”Python最近最重要的進展是Pandas庫提供的更高等級DataFrame容器的開發。Pandas混合各種Python進行操作，對於某些操作使用NumPy，其它的使用Cython，對於某些內部哈希表甚至使用C語言。Panda底層架構非教條式的方法已經讓它成為數據分析領域的標準庫。Pandas的開發體現了很多讓數值Python生態系統成功的東西。
然而改善Python性能最近的嘗試是利用LLVM編譯器有選擇的編譯某些Python代碼段為本地代碼。雖然不同的技術的實現方式不同，但是大部分與下述方式類似：
- 在函數上添加@jit或@compile這樣的裝飾器。
- 函數的AST或者bytecode被提取出來放入編譯器流水線，在流水線中被映射到內部AST，給定特定的輸入類型集合決定如何將給定的函數邏輯降低為機器代碼。
- 編譯過的函數與一組類型一起被調用，參數被檢查過，代碼在給定類型下生成。生成的代碼連同參數被緩存使得接下來的調用直接分發到本地代碼。
這些項目增加了大家對Python語言技術和llvmpy項目開發的興趣，我猜測llvmpy在Python的歷史上比特定的JIT編譯器更重要。
最簡單的例子（來自極好的Kaleidescope教程）是創建一個簡單的本地乘加函數，然後通過解箱三個Python整數調用它：
上述代碼編譯生成下述LLVM IR。
雖然這個例子不太直觀，但是可以生成很快的JIT'd函數，與NumPy這樣的庫集成的很好，把數據做為大塊的解箱內存存儲。
接口
分解行為到可組合的單元，而不是顯式的繼承層次結構是一個Python沒有解決好的問題，經常導致噩夢般的複雜的使用mixin。然而通過使用ABC模組模仿靜態定義的接口可以緩解這個問題。
例如建立一個等價類，讓所有類的實例實現eq()方法。我們可以這樣做：:
然後擴展這種類型的接口概念到多參數的函數，使得查詢__dict__越來越可能發生，在組合的情況下很脆弱。問題的關鍵是分解所有的事情到單一類型不同的接口，當我們真正想要的是聲明涵蓋一組多類型的接口時。OOP中的這種缺點是 表達式問題的關鍵。
諸如Scala、Haskell和Rust這樣的語言以trait和typeclass這樣的形式提供該問題的解決方案。例如Haskell可以自動地為所有類型的交叉產品推導出微分方程。
異步編程
在這個主題下，我們還是有很多縫縫補補的解決方案，解決了部分的問題，但是引入了一整與常規Python背道而馳的套限制和模式。Gevent通過剪接底層C堆棧保持了Python自己的一致性。生成的API非常優雅，但是使得推理控制流和異常非常複雜。
控制流展示在下面：
通過對標準庫相當不優美的縫縫補補（monkey-patching），我們可以模仿Erlang式帶有異步進入點和內部狀態的actor行為：
DSLs
Z3工程是嵌在Python對象層的擴展API。用Z3的實例來解決N皇后問題可以被描述為Python表達式和擴展SMT來解決問題:
在Theano,SymPy,PySpark中的其它工程大量使用基於Python表達式的重載操作符的方式。
今天先分享到這了，喜歡的話評論加轉發。私信01還可獲取下方資料哦！
閱讀更多 浪小九 的文章
