如何評價Facebook發布的pyre?

https://m.facebook.com/notes/protect-the-graph/pyre-fast-type-checking-for-python/2048520695388071/

鏈接里並沒有專門說到支持features，就重點提了是針對large codebases的type checker。

其實為什麼我會點一下這個關注，主要是懷著僥倖心理看看會不會支持dependent type。不過他又說了是要follow PEP484，那麼可能支持的dt情形至多literals(在mypy的某issue里gvr如是說，雖說一年了這個字面量的依賴推導也還沒有完成)。

既然沒有dt，那麼我自然是激動不起來了。看它的目標是fast check，而我日常6位數代碼量在pycharm里也是秒推斷，百萬行級別python項目沒試過，不知道那個量級上各個type checker是個什麼情況。vscode插件感覺要慢一點，但是推導更准，currying的type constructor不會出bug。

已有的工具感覺都非常好用，基本除了沒dt都挺好的，我想了又想，推測這個東西可能更多側重谷歌內部吧，他們的python代碼量是很巨大的，也許會讓很多checker crash也說不定。

當然，也是再一次告訴人們python的靜態檢查也非常火了。