Ty - 高速な Python 型チェッカーと言語サーバー

• ty は Rust で書かれた非常に高速な Python 型チェッカー および 言語サーバー
• まだ プレリリースソフトウェア であり、本番環境 で使用できる状態ではない
• Astral の超高速 Python Linter である Ruff リポジトリで開発が進められており、安定性 と 機能の完全性 を目標としている
• MIT ライセンス

[zeyakim]

偉大なる astral……またやってくれたのですか

[youn17]

おお、mypyの代替でしょうか？ 信頼して使えるAstralの新作のようですね

[brainer]

https://ja.news.hada.io/topic?id=13388

作ったところなんですね。とにかく良いです。

[xguru]

Ruff - 10〜100倍高速なPythonリンター
Astral - 次世代Python開発ツールを作る会社

[GN⁺]

Hacker Newsのコメント

• :wave: 非公開ではないリポジトリを見つけたようです。私たちはもっと大きな発表を準備中です。

  • 現在、このソフトウェアはプレアルファ状態で、バージョンは 0.0.0a6 です。
  • これまでのリリースは、リリースプロセスを検証するためのものでした。
  • 皆さんに提供したいのですが、本番利用の準備が整うまでには、まだ多くの作業が必要です。
  • 近いうちにさらに多くのニュースをお届けできるはずです。
  • （私は Astral で働いています）

• ty というプロジェクト名を pypi から Astral に譲渡しました。

  • 数年前に冗談で使おうとしていましたが、2文字のプロジェクト名としてはもっと良い使い道があります。
  • 彼らは感謝のしるしとして PSF に寄付することに同意しました。

• この手の型チェッカーが高速化される方法は、たいてい実際の Python コードの複雑な現実をサポートしていません。

  • 私たちが mypy を使っている理由は、Django のプラグインを持つ唯一の型チェッカーだからです。
  • Django のランタイム生成メソッドを適切に型チェックできます。
  • もっと多くの Python ツールが「野にあるものこそが言語だ」という TS 的なアプローチを取ってくれたらと思います。

• 大規模プロジェクトでチェック時間を比較しました。

  • mypy（キャッシュ使用）: 18秒
  • ty: 0.5秒（3500件のエラーを検出）
  • 彼らはまたやってのけました。

• Astral が登場する前、Python のツールは Java と比べて本当にひどいものでした。

  • Astral はひどい pip を素晴らしい uv に置き換えました。
  • さまざまなひどいリンターを素晴らしい ruff に置き換えました。
  • 次はひどい型チェッカー（たとえば mypy）を良いものに置き換えてほしいです。
  • pypi バックエンドも彼らのリストに入っていてほしいです。Python に Maven Central が欲しいです。

• uv がインストールされているなら、インストール不要で次のコマンドで試せます。

  • uvx ty check

• Astral が Facebook の「Pyrefly, Rust で書かれたより高速な Python 型チェッカー」の公開と同時に登場したのは興味深いです。

  • 倫理的な主張ではありませんが、Rust が Python と JS のツール世界を引き続き侵食しているのは興味深いです。

• vscode と vscode フォーク（例: Windsurf, Cursor）で動作する、新しいフル機能の Python 言語サーバーにはとても期待しています。

  • Pylance はこれらのフォークされたディストリビューションで問題があります。
  • さらに別のフォーク版 Pyright 実装（BasedPyright, Cursor Pyright, Windsurf Pyright, ...）を採用するのではなく、新しい代替があるのは良いことです。

• この人たちがどうやって収益化する方法を見つけたのか気になります。

• Django スタブをサポートする予定はありますか？ 私たちの会社が移行する際の唯一の障害です。