いろいろ備忘録日記

主に .NET とか Go とか Flutter とか Python絡みのメモを公開しています。

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

関連記事

GitHub - devlights/blog-summary: ブログ「いろいろ備忘録日記」のまとめ

概要

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

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

pyrefly.org

github.com

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

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

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

参考情報

mypy-lang.org

github.com


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

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