From 1e28b916afc531e51c9b39904098c3efec8f55f8 Mon Sep 17 00:00:00 2001 From: Shobhit Mehrotra <131730833+shobhitmehro@users.noreply.github.com> Date: Mon, 20 Jul 2026 10:08:42 -0700 Subject: [PATCH 1/3] Revise Pyrefly overview in types.md Updated Pyrefly description to reflect enhanced attrs support. --- docs/types.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/docs/types.md b/docs/types.md index b26cf1dd1..b3a7f4cd1 100644 --- a/docs/types.md +++ b/docs/types.md @@ -134,8 +134,7 @@ Currently it only supports {pep}`681`, but [they intend](https://github.com/astr ### Pyrefly -[Pyrefly] is Meta's take on a Rust-based type checker for Python. -It also only implements {pep}`681` and based on the (lack of) activity on *attrs*-related issues on their bug tracker there is currently no indication that they plan to support additional *attrs* features. +[Pyrefly] is Meta's take on a Rust-based type checker for Python. As of its 1.2 release, it offers significantly more advanced attrs support beyond basic {pep}`681`, making it a strong option for attrs users seeking deeper type-checking coverage. See their [attrs documentation](https://pyrefly.org/en/docs/attrs/) for details. [Mypy]: http://mypy-lang.org From ede8e5d541411190c0e3d7a4a1179359730de65d Mon Sep 17 00:00:00 2001 From: Shobhit Mehrotra <131730833+shobhitmehro@users.noreply.github.com> Date: Tue, 21 Jul 2026 11:21:42 -0700 Subject: [PATCH 2/3] Refine Pyrefly description in types.md Improved clarity and formatting of the Pyrefly description. --- docs/types.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/types.md b/docs/types.md index b3a7f4cd1..e56db7779 100644 --- a/docs/types.md +++ b/docs/types.md @@ -134,7 +134,9 @@ Currently it only supports {pep}`681`, but [they intend](https://github.com/astr ### Pyrefly -[Pyrefly] is Meta's take on a Rust-based type checker for Python. As of its 1.2 release, it offers significantly more advanced attrs support beyond basic {pep}`681`, making it a strong option for attrs users seeking deeper type-checking coverage. See their [attrs documentation](https://pyrefly.org/en/docs/attrs/) for details. +[Pyrefly] is Meta's take on a Rust-based type checker for Python. +As of its 1.2 release, it offers significantly more advanced *attrs* support beyond {pep}`681`, making it a strong option for *attrs* users seeking deeper type-checking coverage. +See their [attrs documentation](https://pyrefly.org/en/docs/attrs/) for details. [Mypy]: http://mypy-lang.org From 66a2931c68537f6d913f6e817f3445b10cacd20d Mon Sep 17 00:00:00 2001 From: Hynek Schlawack Date: Wed, 22 Jul 2026 09:10:37 +0200 Subject: [PATCH 3/3] Apply style --- docs/types.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/types.md b/docs/types.md index e56db7779..bf0c4dc2b 100644 --- a/docs/types.md +++ b/docs/types.md @@ -136,7 +136,7 @@ Currently it only supports {pep}`681`, but [they intend](https://github.com/astr [Pyrefly] is Meta's take on a Rust-based type checker for Python. As of its 1.2 release, it offers significantly more advanced *attrs* support beyond {pep}`681`, making it a strong option for *attrs* users seeking deeper type-checking coverage. -See their [attrs documentation](https://pyrefly.org/en/docs/attrs/) for details. +See their [*attrs* documentation](https://pyrefly.org/en/docs/attrs/) for details. [Mypy]: http://mypy-lang.org