use ty or pyrefly to do type check #15474

Closed
opened 2026-02-21 19:21:54 -05:00 by yindo · 11 comments
Owner

Originally created by @asukaminato0721 on GitHub (Jul 17, 2025).

Originally assigned to: @asukaminato0721 on GitHub.

Self Checks

  • I have read the Contributing Guide and Language Policy.
  • I have searched for existing issues search for existing issues, including closed ones.
  • I confirm that I am using English to submit this report, otherwise it will be closed.
  • Please do not modify this template :) and fill in all the required fields.

1. Is this request related to a challenge you're experiencing? Tell me about your story.

mypy is slow on large codebase.

2. Additional context or comments

https://github.com/facebook/pyrefly
https://github.com/astral-sh/ty

3. Can you help us with this feature?

  • I am interested in contributing to this feature.
Originally created by @asukaminato0721 on GitHub (Jul 17, 2025). Originally assigned to: @asukaminato0721 on GitHub. ### Self Checks - [x] I have read the [Contributing Guide](https://github.com/langgenius/dify/blob/main/CONTRIBUTING.md) and [Language Policy](https://github.com/langgenius/dify/issues/1542). - [x] I have searched for existing issues [search for existing issues](https://github.com/langgenius/dify/issues), including closed ones. - [x] I confirm that I am using English to submit this report, otherwise it will be closed. - [x] Please do not modify this template :) and fill in all the required fields. ### 1. Is this request related to a challenge you're experiencing? Tell me about your story. mypy is slow on large codebase. ### 2. Additional context or comments https://github.com/facebook/pyrefly https://github.com/astral-sh/ty ### 3. Can you help us with this feature? - [x] I am interested in contributing to this feature.
yindo added the 💪 enhancement label 2026-02-21 19:21:54 -05:00
yindo closed this issue 2026-02-21 19:21:54 -05:00
Author
Owner

@laipz8200 commented on GitHub (Jul 17, 2025):

To use Pyrefly, we need to find a solution for this issue.

@laipz8200 commented on GitHub (Jul 17, 2025): To use Pyrefly, we need to find a solution for [this issue](https://github.com/facebook/pyrefly/issues/445).
Author
Owner

@asukaminato0721 commented on GitHub (Jul 18, 2025):

seems like this may work https://docs.sqlalchemy.org/en/20/changelog/whatsnew_20.html#whatsnew-20-orm-declarative-typing

I open a new issue https://github.com/facebook/pyrefly/issues/954

@asukaminato0721 commented on GitHub (Jul 18, 2025): ~~seems like this may work https://docs.sqlalchemy.org/en/20/changelog/whatsnew_20.html#whatsnew-20-orm-declarative-typing~~ I open a new issue https://github.com/facebook/pyrefly/issues/954
Author
Owner

@asukaminato0721 commented on GitHub (Aug 17, 2025):

https://github.com/facebook/pyrefly/issues/71 also wait for fixing.

@asukaminato0721 commented on GitHub (Aug 17, 2025): https://github.com/facebook/pyrefly/issues/71 also wait for fixing.
Author
Owner

@asukaminato0721 commented on GitHub (Aug 17, 2025):

https://github.com/facebook/pyrefly/issues/195 also this

@asukaminato0721 commented on GitHub (Aug 17, 2025): https://github.com/facebook/pyrefly/issues/195 also this
Author
Owner
@asukaminato0721 commented on GitHub (Aug 17, 2025): https://github.com/astral-sh/ty/issues/247 https://github.com/astral-sh/ty/issues/1038
Author
Owner

@yihong0618 commented on GitHub (Aug 17, 2025):

ty is better

@yihong0618 commented on GitHub (Aug 17, 2025): ty is better
Author
Owner

@asukaminato0721 commented on GitHub (Aug 18, 2025):

To use Pyrefly, we need to find a solution for this issue.

from

with Session(...) as ...

to

with sessionmaker(...).begin() as ...

solved it, and get automatically commit.

@asukaminato0721 commented on GitHub (Aug 18, 2025): > To use Pyrefly, we need to find a solution for [this issue](https://github.com/facebook/pyrefly/issues/445). from ```py with Session(...) as ... ``` to ```py with sessionmaker(...).begin() as ... ``` solved it, and get automatically commit.
Author
Owner

@asukaminato0721 commented on GitHub (Aug 21, 2025):

https://github.com/astral-sh/ty/issues/1066

@asukaminato0721 commented on GitHub (Aug 21, 2025): https://github.com/astral-sh/ty/issues/1066
Author
Owner

@asukaminato0721 commented on GitHub (Aug 21, 2025):

https://github.com/aliyun/alibabacloud-python-sdk/issues/41

well。。put it here for now

@asukaminato0721 commented on GitHub (Aug 21, 2025): https://github.com/aliyun/alibabacloud-python-sdk/issues/41 well。。put it here for now
Author
Owner

@asukaminato0721 commented on GitHub (Aug 22, 2025):

https://github.com/facebook/pyrefly/issues/684

@asukaminato0721 commented on GitHub (Aug 22, 2025): https://github.com/facebook/pyrefly/issues/684
Author
Owner

@bowenliang123 commented on GitHub (Aug 28, 2025):

#24653

@bowenliang123 commented on GitHub (Aug 28, 2025): #24653
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: langgenius/dify#15474