Pyrefly

#### 產品特色

* 快速的類型檢查
* 強大的 IDE 集成
* 支援真實世界的 Python 設計模式
* 生產級的規模驗證
* 易於遷移的導入工具

#### 主要功能、特點

Pyrefly 是一個快速的類型檢查器和語言伺服器，專為 Python 開發設計。它提供快速的類型檢查，並支援 IDE 的功能如程式導覽、語義高亮、自動補全等。Pyrefly 以生產級的規模驗證著稱，已應用於 Meta 的 20 百萬行 Python 代碼庫中。它支援如 Pydantic 和 Django 等框架的類型驗證，並提供易於遷移的導入工具，如 `pyrefly init` 和 `pyrefly suppress`。

#### 指令

“`bash
# 無常用指令（自動生成）
“`