[Python-ideas] Re: Is it possible to provide an official type annotation checker?

2022-10-14 Thread Stephen J. Turnbull
Christopher Barker writes: > Also: Static type checking is optional in Python. There are those of us > that are not convinced that static type checking is or should be a Python > best practice. Why would you be? Nobody (sane senior core) is advocating annotations as a Python-wide best practic

[Python-ideas] Re: Is it possible to provide an official type annotation checker?

2022-10-14 Thread Paul Moore
On Fri, 14 Oct 2022 at 01:41, Christopher Barker wrote: > Static type analysis is still experimental in Python. > It's not. This is simply false. Type *annotations* are a standard part of the language, supported by language syntax, a standard library module, and a series of PEPs describing vario

[Python-ideas] Re: Is it possible to provide an official type annotation checker?

2022-10-14 Thread Christopher Barker
I’m sorry that my typing-skepticism came across too strong, but while the tone and language revealed my personal view, I still think the points were correct. Paul: I didn’t say annotations were experimental. I said “static typing” is — and I really think it still is, though “immature” is a better

[Python-ideas] Re: Is it possible to provide an official type annotation checker?

2022-10-14 Thread Paul Moore
On Fri, 14 Oct 2022 at 19:36, Christopher Barker wrote: > I’m sorry that my typing-skepticism came across too strong, but while the > tone and language revealed my personal view, I still think the points were > correct. > > Paul: I didn’t say annotations were experimental. I said “static typing”