Enforce Type Hints #1282

Activity

1. gvanrossum commented on Mar 9, 2016

   

   gvanrossum

   on Mar 9, 2016 via email

   Member

   More actions

   You can get halfway there with the `--disallow-untyped-calls` flag.

   👍React with 👍2Reacted by a-t-90 and Frank Odom
2. theonewolf commented on Mar 10, 2016

   

   theonewolf

   on Mar 10, 2016

   Author

   More actions

   Ah, I see that is in the git version, not the latest release.

   This is great, I'd like to see also something like --disallow-untyped-signatures which disallows function and method declarations without type annotations.

   Thanks for the response @gvanrossum!

   👍React with 👍1Reacted by chrispoptic

   🎉React with 🎉1Reacted by chrispoptic

   ❤️React with ❤️1Reacted by chrispoptic
3. gvanrossum

   closed this as completedin #1285on Mar 14, 2016
4. theonewolf commented on Mar 15, 2016

   

   theonewolf

   on Mar 15, 2016

   Author

   More actions

   Thanks @ddfisher and @gvanrossum!
5. zanellia commented on Jun 14, 2019

   

   zanellia

   on Jun 14, 2019

   More actions

   Is there any way to strictly enforce type hints in the current version? I'd like to enforce static typing also for trivial expression like n = 10 (which should be n : int = 10, obviously). This can be rather useful in some contexts, e.g. when trying to generate code in a statically typed language like C for performance reasons (see https://github.com/zanellia/prometeo, for example).

   👍React with 👍4Reacted by Dwayne Robinson, chrispoptic, tomasyany and Ryan Hamel
6. JukkaL commented on Jun 14, 2019

   

   JukkaL

   on Jun 14, 2019

   Collaborator

   More actions

   There is no way to require variables to be annotated if the type can be inferred by mypy, if I understood correctly that this is what you'd like to do.
7. zanellia commented on Jun 14, 2019

   

   zanellia

   on Jun 14, 2019

   More actions

   I see. Thanks for the quick reply @JukkaL!
8. rkr87 commented on Sep 10, 2022

   

   rkr87

   on Sep 10, 2022

   Last edited by rkr87

   More actions

   Would it be possible to force required annotations on variables even if mypy can infer a type?

   I understand why it isn't currently there but it would be handy for certain situations. EG one I've just encountered;

   async method:

   async def __category_setup(self, config_item: list[str]) -> bool:

   call to the above method I had in my code:

   enabled = self.__category_setup(path)

   The above code is incorrect as the method should be awaited, mypy doesn't raise any errors as it infers the variable type as Coroutine.

   However, if I'd typed the enabled variable as bool, mypy would've raised typing error prompting me to add in the await flag.

   enabled: bool = await self.__category_setup(path)

   Having the ability to identify all variables without type annotations via mypy would be the best way around this imo.