作为 Python 的大用户之一，Dropbox 公司内部聚集了数百万行 Python 代码，动态类型的存在让代码越来越难以理解。