Skip to content

Add experimental gradual typing for development#198

Merged
rich-iannone merged 13 commits intoposit-dev:mainfrom
tylerriccio33:typing
Dec 22, 2025
Merged

Add experimental gradual typing for development#198
rich-iannone merged 13 commits intoposit-dev:mainfrom
tylerriccio33:typing

Conversation

@tylerriccio33
Copy link
Contributor

This PR adds a little support and considerations for local/dev type checking. I add ty (astral's new experimental type checker) to the makefile, add pointblank/py.typed to the ignore file and updated the documentation to say you can type check but it's not enforced. I think as time goes on, I'll start gradually typing things, and maybe one day it can get into the CI checks. For now, this is just helpful for development, especially if you're so used to relying on a type checker (i am).

Also, random but I found pytest-xdist was repeated in the dependencies so i removed it.

@tylerriccio33
Copy link
Contributor Author

Also I think we should leave this branch open, it's easy for me to come in and gradually type a few things and push.

@rich-iannone
Copy link
Member

This is so great, ty!

@tylerriccio33
Copy link
Contributor Author

No worries! Whenever you want to merge feel free, I'm just going to keep pushing stuff

@tylerriccio33
Copy link
Contributor Author

Do you want to merge these periodically? i don't think i'll be able to get all of this in one shot

@rich-iannone
Copy link
Member

@tylerriccio33 Could you update this branch with the current main and resolve the conflicts in test_validate.py? Then I will definitely review and merge!

I missed a merge marker resulting in a huge diff.
@tylerriccio33
Copy link
Contributor Author

Ok this should all be good. Missed a merge marker in test_validate.py so had to do some gymnastics to get back in sync.

@tylerriccio33 tylerriccio33 marked this pull request as draft December 22, 2025 16:56
@tylerriccio33 tylerriccio33 marked this pull request as ready for review December 22, 2025 20:14
@tylerriccio33
Copy link
Contributor Author

@rich-iannone if possible I'd really appreciate it if you could review and merge so i can continue making things type safe. I think if this doesn't get merged I'd have to close and start over since it's really tough to keep up with main. Let me know what you think :)

@rich-iannone
Copy link
Member

Thank you so much @tylerriccio33 for all the work you’ve done on this! I’ll review shortly (in the next 2 hours).

@tylerriccio33
Copy link
Contributor Author

Thanks mate, let me know if you have any Qs! I think this is going to make the dev experience and correctness much better

Copy link
Member

@rich-iannone rich-iannone left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@rich-iannone rich-iannone merged commit a06985f into posit-dev:main Dec 22, 2025
5 of 9 checks passed
@tylerriccio33
Copy link
Contributor Author

Awesome! I'll keep contributing to this, i'll tag you if I feel like it's at a place where it can be merged again!

@tylerriccio33 tylerriccio33 mentioned this pull request Dec 23, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

Comments