On Tue, Nov 30, 2021 at 5:05 PM Steven D'Aprano <st...@pearwood.info> wrote:
> On Tue, Nov 30, 2021 at 02:30:18PM +0000, Paul Moore wrote: > [...] > Aside: I'm a little disappointed in the way the typing ecosystem has > developed. What I understood was that we'd get type inference like ML or > Haskell use, so we wouldn't need to annotate *everything*, only the bits > needed to resolve ambiguity. But what we seem to have got is typing like > C, Pascal and Java, except gradual. Am I being unreasonable to be > disappointed? I'm not a heavy mypy user, I just dabble with it > occasionally, so maybe I've missed something. > > You might be more comfortable with pytype, which I understand is much more inferential than pypy. > > > Anyway, we're *way* off topic now, and I doubt there's much that the > > SC or python-dev can do to change the community view on typing, > > anyway. > > Heh. We could update PEP 8 to ban type annotations, then watch as the > people who over-zealously apply PEP 8 to everything AND over-zealously > insist on adding type annotations to everything have their heads > explode. > > Cruel, but funny.
_______________________________________________ Python-Dev mailing list -- python-dev@python.org To unsubscribe send an email to python-dev-le...@python.org https://mail.python.org/mailman3/lists/python-dev.python.org/ Message archived at https://mail.python.org/archives/list/python-dev@python.org/message/QX6MZXQRERQITQFPO7T5DLI4HHFXHX4B/ Code of Conduct: http://python.org/psf/codeofconduct/
