[Python-Dev] [erratum] Emotional responses to PEPs 484 and 526 (original) (raw)
Ivan Levkivskyi levkivskyi at gmail.com
Sat Sep 3 11:40:24 EDT 2016
- Previous message (by thread): [Python-Dev] [erratum] Emotional responses to PEPs 484 and 526
- Next message (by thread): [Python-Dev] [erratum] Emotional responses to PEPs 484 and 526
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
On 3 September 2016 at 17:18, Stephen J. Turnbull < turnbull.stephen.fw at u.tsukuba.ac.jp> wrote:
Stephen J. Turnbull writes:
> My version ... furthermore makes mypy into a units checker, That isn't true, mypy does want annotations on all the variables it checks and does not infer them from initializer type.
I have heard that pytype (https://github.com/google/pytype) does more type inference (although it has some weaknesses). In general, I think it is OK that the amount of annotations needed depends on the type checker (there is actually a note on this in the last revision of PEP 526).
-- Ivan -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.python.org/pipermail/python-dev/attachments/20160903/bd07c3c6/attachment.html>
- Previous message (by thread): [Python-Dev] [erratum] Emotional responses to PEPs 484 and 526
- Next message (by thread): [Python-Dev] [erratum] Emotional responses to PEPs 484 and 526
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]