ORM and admin
It is rather late in the day to bring this up but ... should we remove ORM and admin from Django core? Thanks, Pradip P Caulagi -- You received this message because you are subscribed to the Google Groups "Django developers" 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 http://groups.google.com/group/django-developers. To view this discussion on the web visit https://groups.google.com/d/msgid/django-developers/CAJ-amneVaN4rOBD19%3DngL5Xf59dBw6xbQkyY6wkTGt86GOwRog%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
typeshed stubs for mypy
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/57180059.2080307%40gmail.com. For more options, visit https://groups.google.com/d/optout.
Re: typeshed stubs for mypy
On 21/04/16 11:26, Florian Apolloner wrote: stub files would do it too, but all in all it seems much work for not much gain. I created some stub files here - https://github.com/caulagi/django-mypy/tree/master/stubs/django. It is not complete, but it is working for my toy example. I used stubgen to create the files but there are some places where stubgen gets it wrong. Should I post the examples here? Maybe in some places we can tidy the Django code a bit to help stubgen? -- 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/4ba381dc-c86e-7e6c-c5ca-f1e3b338acdb%40gmail.com. For more options, visit https://groups.google.com/d/optout.
