I think we can use type annotations in comments, and I do think this could be useful in some cases as a hint to autocomplete systems in IDEs.
What I'm afraid is that if we add annotations somewhere, we'll have really hard time determining when to stop when requests for more type hints arrive. So, unless we have easy to follow rules for when to reject type hints, I'm with Florian - too much work for little gain. (Or in other words, it is really easy to follow a rule where we reject type hints always). I've tested mypy a little, and while it might be really useful for larger Django projetcts, it isn't there yet. - Anssi On Thu, Apr 21, 2016 at 12:26 PM, Florian Apolloner <f.apollo...@gmail.com> wrote: > stub files would do it too, but all in all it seems much work for not much > gain. > > On Thursday, April 21, 2016 at 2:20:44 AM UTC+2, Tim Graham wrote: >> >> My understanding is that adding type annotations must wait until we drop >> support for Python 2 which will happen after we cut the stable/1.11.x branch >> in January 2017. >> >> On Wednesday, April 20, 2016 at 7:28:25 PM UTC-4, Pradip Caulagi wrote: >>> >>> Hello, >>> >>> Is there any plans to add type annotations to Django itself? Or to >>> provide typeshed stubs so that we can run mypy on django projects? >>> >>> Thanks, >>> Pradip > > -- > You received this message because you are subscribed to the Google Groups > "Django developers (Contributions to Django itself)" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to django-developers+unsubscr...@googlegroups.com. > To post to this group, send email to django-developers@googlegroups.com. > Visit this group at https://groups.google.com/group/django-developers. > To view this discussion on the web visit > https://groups.google.com/d/msgid/django-developers/a4dc54e9-52a4-46ce-86a7-1b8eccfac10a%40googlegroups.com. > > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Django developers (Contributions to Django itself)" group. To unsubscribe from this group and stop receiving emails from it, send an email to django-developers+unsubscr...@googlegroups.com. To post to this group, send email to django-developers@googlegroups.com. Visit this group at https://groups.google.com/group/django-developers. To view this discussion on the web visit https://groups.google.com/d/msgid/django-developers/CALMtK1FyyG1PCOMwyNeO%3Dn__MaGLRWXm1CHxto8_ZZfR042Z_w%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
