this post was submitted on 18 Nov 2025
13 points (100.0% liked)

Python

7584 readers
4 users here now

Welcome to the Python community on the programming.dev Lemmy instance!

📅 Events

PastNovember 2023

October 2023

July 2023

August 2023

September 2023

🐍 Python project:
💓 Python Community:
✨ Python Ecosystem:
🌌 Fediverse
Communities
Projects
Feeds

founded 2 years ago
MODERATORS
jnovinger@programming.dev
erlingur@programming.dev
norambna@programming.dev
13
🚀Pyrefly is now in Beta! (github.com)
submitted 6 days ago by lens0021@programming.dev to c/python@programming.dev
4 comments fedilink hide all child comments
top 4 comments
sorted by: hot top controversial new old
[–] giacomo@lemmy.dbzer0.com 11 points 6 days ago

Pyrefly is a type checker and language server for Python, which provides lightning-fast type checking along with IDE features such as code navigation, semantic highlighting, and code completion. It is available as a command-line tool and a VSCode extension.

[–] ALERT@sh.itjust.works -1 points 6 days ago (1 children)

no pycharm? no, thank you

[–] RmDebArc_5@feddit.org 6 points 6 days ago (1 children)

PyCharm users can enable native Pyrefly support in the settings:

  1. Go to Python | Tools | Pyrefly in the Settings dialog.

  2. Select the Enable checkbox.

https://pyrefly.org/en/docs/IDE/#jetbrains--pycharm

[–] ALERT@sh.itjust.works 1 points 6 days ago

so it's:

and that's it.