Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Any plans to move higher kinded typing (mypy) to a separate project? #1066

Open
internetimagery opened this issue Sep 15, 2021 · 1 comment
Open

Any plans to move higher kinded typing (mypy) to a separate project? #1066

internetimagery opened this issue Sep 15, 2021 · 1 comment

Comments

@internetimagery
Copy link

Hey good people!

I very much love what is being done here.

My question is in regards to the higher kinded static typing that has been worked on.
What is the foreseeable future for HKT in mypy? If it is likely that official support will need to remain in plugin form as is the case here, are there any plans to generalize it (it seems already generalized) and pull it into its own thing?

Certainly it would be useful on its own.
@sobolevn
Copy link
Member

Hi! Thanks for the idea! I will try to generalize it soon. But, not ETA yet.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@sobolevn @internetimagery