
On Tue, Nov 30, 2021 at 5:05 PM Steven D'Aprano <steve@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.