什么是「動態語言」？這個概念其實沒有一個明確的定義。基本上它是一個程度的度量。這個程度就是該語言的 runtime 到底使用多少 bookkeeping 數據。

　　讀過《Design and Evolution of C++》的人一定知道 C++ 這個變態的 zero-bookkeeping 原則。任何 C++ 語言的高層概念，其實都已經在編譯階段被剝離掉了。從最后的目標代碼中你很難再看出這是一種高級語言。當然，其代價就是程序員必須理解為什么 C++ 不能實現某些功能。而且必須從機器的角度去理解。

　　動態語言其實就是一個不斷添加 bookkeeping 的過程。

　　比如說，C++ 中為了實現多態還是不得不有一個中間機制，這就是虛表。但是你很難說虛表就是一個 bookkeeping 結構。因為它太簡單了。而 Objective-C 就大大增加了對成員函數調用的 bookkeeping 機制。因為如此，所以 Objective-C 對 action-message 的實現就簡單多了，因為你可以判斷一個成員函數是否存在。而且也可以在不確定對象類型的情況下，指定一個方法作為回調函數。

　　C++ 的另一個問題，內存管理，根本原因在于其對象引用采用 raw pointer 機制。Objective-C 并沒有改善這一點。但是也并非全無改善，在 Objective-C 里，一個 pointer 幾乎永遠必須指向 NSObject，而這個東西是有引用基數的。當然，它并沒有完全解決 over-release 或者 use-after-release 的問題。到了 Java，Python，Lua 這樣的語言，raw pointer 就完全消失了。

　　而 C++ 的內存管理，除了 heap 就只有一個借助 CPU stack 管理的棧。在動態語言里，就要考慮 lexical scope 的表現，這就需要更多的 bookkeeping。這點 Objective-C 也并沒有實現。

　　語法的處理，在 C++ 中是完全在 runtime 之前進行。而在 Python，Lisp，Lua 這樣的語言中是有 eval 這樣的機制存在的。

　　所以，Objective-C 是比 C 和 C++ 擁有更多動態特性，而比 Lua，Lisp 缺乏一些動態特性的語言。至于題目中進行比較的 Python，也只能說是個更少缺乏動態特性的語言。Python 缺乏 lexical scope，也缺乏對 continuation 的支持。它的 stack 借助 CPU stack（當然有一個 stackless-Python，不過非官方），相比之下，Lua 為了支持 coroutine，Lisp 為了 full-continuation，都是自行維護 VM stack 的。Python 的 bookkeeping 與 Lua 和 Lisp 比起來也是不夠的。

　　1.動態類型：

　　即運行時再決定對象的類型。簡單說就是id類型，任何對象都可以被id指針所指，只有在運行時 才能決定是什么類型。像內置的明確的基本類型都屬于靜態類型（int、NSString等）。靜態類型在編 譯的時候就能被識別出來。所以，若程序發生了類型不對應，編譯器就會發出警告。而動態類型就編譯器編譯的時候是不能被識別的，要等到運行時（run time），即程序運行的時候才會根據語境來識別。所以這里面就有兩個概念要分清：編譯時跟運行時。

　　2.動態綁定：

　　基于動態類型，在某個實例對象被確定后，其類型便被確定了。該對象對應的屬性和響應的消息也被完全確定，這就是動態綁定。比如我們一般向一個NSObject對象發送-respondsToSelector：或者 -instancesRespondToSelector：等來確定對象是否可以對某個SEL做出響應，而在OC消息轉發機制被觸發之前，對應的類 的+resolveClassMethod：和+resolveInstanceMethod：將會被調用，在此時有機會動態地向類或者實例添加新的方 法，也即類的實現是可以動態綁定的；isKindOfClass也是一樣的道理。

　　3.動態加載：

　　所謂動態加載就是我們做開發的時候icon圖片的時候在Retina設備上要多添加一個張@2x的圖片，當設備更換的時候，圖片也會自動的替換。

　　什么是 bookkeeping 信息：Bookkeeping 就是 source code 里的信息用 declarive 的方式來保留在目標碼中。

　　這里舉一個所有語言都會舍棄的 bookkeeping 信息，就是 local variable name。Compiler 或者 interpreter 在遇到一個 local variable 的時候，一定要給它分配一個寄存器或者 stack entry（其實寄存器也就是 stack entry 的一種，見我的 blog 《什么是寄存器》）。所以在 runtime 時 variable name 就成了多余的。所以幾乎所有語言，不管是 native 還是 byte code，都會舍棄 local name。

　　再比如說 raw pointer，就是說編譯之后的代碼里沒有一個固定的 field 來說明一個 value 到底是不是 pointer。一個 value 是不是 pointer 完全靠引用它的代碼本身來解釋。當然你去分析目標碼本身可能會得出「這是一個 pointer」的結論，但這是從 imperative code 中分析的來的，而不是從一個 field 中得到的明確的 declartive 信息。