Pythonメモ-134 (Pyrefly)(Rustで実装されているPython型チェッカー, Metaが主導)

以下、自分用のメモです。忘れないうちにメモメモ。。。

最近、あまりPython触ってないですが、Pyreflyという型チェッカーがMetaからOSSで公開されてるのですね。

Rustで実装されているのが注目ポイントみたいで、爆速を売りにしてますね。

Metaのような超大規模なPythonアプリケーションを抱えているところは、コードベースが非常に大きいので型チェックに掛かる時間も馬鹿にならないのでしょう。

個人で作っているアプリとかツールとかだったら、正直 mypy や pyright で充分って感じがしています。いい感じで枯れてて安定してますしね。

過去の記事については、以下のページからご参照下さい。

サンプルコードは、以下の場所で公開しています。