Python Type Checking

解釋程式語言的變數特性，以及 Python 身為一個動態、強型別的語言，有哪些型別檢查的工具可以使用。

文中的型別檢查工具真的就只是型別檢查，並沒有把 Python 變成靜態型別的能力，若想要把 Pyton「靜態化」，大多要改寫 Python interpreter / compiler 才能夠實現，例如以前曾經介紹過的 Nutika。