On Sat, Oct 16, 2021 at 02:49:42PM +0100, Paul Moore wrote: > I'd be more likely to just remove the types (the type checking > equivalent of `#noqa` when you don't agree with what your style > checker says).
Type annotations are still useful to the human reader, even if the type checker is absent or wrong. I presume that mypy does support some "skip this" directive? If not, it should. > But this is probably off-topic. I'm not 100% sure what the OP's > proposal was, but as far as I can tell it seems to me that "dict[str, > Number] is the correct usage for static typing" is the answer, > regardless of mypy's ability to process it. That's what it looks like to me too. -- Steve _______________________________________________ Python-ideas mailing list -- python-ideas@python.org To unsubscribe send an email to python-ideas-le...@python.org https://mail.python.org/mailman3/lists/python-ideas.python.org/ Message archived at https://mail.python.org/archives/list/python-ideas@python.org/message/IP6OLOIFT46Y6DTBC6LKLPWHD2YEIVCE/ Code of Conduct: http://python.org/psf/codeofconduct/
