筒井 （@ryu22e） です。今月の 「Python Monthly Topics」 は、型チェッカー 「Pyrefly」 を紹介します。 Meta社製の型チェッカーといえばPyreがありますが、PyreflyはPyreの後継ツールです。Pyreflyが誕生した経緯については、以下のMeta社のブログに詳細が書かれています。

Both Rust and C# strive for memory safety, but they employ distinct approaches. Rust’s borrow checker stands out as a compile-time guardian, preventing data races and dangling pointers, while C# ...

What is the Rust borrow checker and why is it important? How mutability and reference-counted pointers are related. Arguably the most novel aspect of Rust, and the feature that’s the most challenging ...

Rust製、Mypy互換で200倍速、Pyright互換も備えたPythonの型チェッカー兼LSP(Language Server)とパワーワードが並びます。それがZubanです。現在はベータステータスですが、Mypyのテストスイートの約95％をパスする完成度。強そう。 名前も「ズバン」って感じで速そう ...

A command-line utility written in Rust to concurrently check the availability and status of multiple websites. If neither --file nor positional URLs are supplied, a help message is shown, and the ...

rustup 是 Rust 工具链管理器，用于安装和管理不同版本的 Rust 工具链；cargo 是 Rust 的包管理器和构建工具，对应关系是一对多 ...