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.

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

Add mypy #235

Closed
wants to merge 1 commit into from
Closed

Add mypy #235

wants to merge 1 commit into from

Conversation

joostlek
Copy link

Mypy is a type checking tool. IMO, typing is quite important for increasing code quality. During adding them, I also discovered several inconsistencies.

I am not expecting this to be merged right away, there are some cases where stuff is now changed where it should be different.

Signed-off-by: Joostlek <[email protected]>
@pschmitt pschmitt marked this pull request as draft February 21, 2024 14:01
@joostlek
Copy link
Author

Do you guys maybe have Discord, wdyt about a discord chat so we can discuss some stuff around this?

@Orhideous
Copy link
Collaborator

@joostlek Ping me in discord (@orhideous)

@Orhideous
Copy link
Collaborator

@joostlek I started working on strict typing on Sunday, and I have very little left to do.To coordinate efforts, don't you mind if I incorporate changes from your branch?

@joostlek
Copy link
Author

Sure! Go ahead!

@Orhideous
Copy link
Collaborator

Superseded by #262. Thanks for useful hints!

@Orhideous Orhideous closed this Feb 26, 2024
@joostlek joostlek deleted the mypy branch February 26, 2024 11:24
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