To the best of my knowledge JetBrains fundled the money to Django for that specific purpose -- so yes the funding should be here if needed. That said, there is no decission on a) whether we actually want type hints and b) if the should be inline or stubs. Those two points have to be cleared first.
Cheers, Florian On Friday, April 6, 2018 at 9:11:04 AM UTC+2, Eddy C wrote: > > Hi Tim, do you know if JetBrains still willing to fund the project as the > upcoming django 2.1 will only support python 3.5+ that pave the way for > inline annotations. > > On Wednesday, August 17, 2016 at 11:41:03 PM UTC+10, Tim Graham wrote: >> >> The JetBrains announcement that they want to fund the project isn't a >> guarantee that it'll be implemented. The feature needs to go through the >> normal feature acceptance process, which as Markus said, might involve a >> DEP. >> >> Assuming the idea is accepted, my sense on timing would be to wait until >> January when Django drops support for Python 2.7 and 3.4 in master. Then we >> could use inline annotations rather than the stub files. >> >> Past discussions of type hinting: >> https://groups.google.com/d/topic/django-developers/z_P1TvJ6QG8/discussion >> https://groups.google.com/d/topic/django-developers/xOTmq93YZuQ/discussion >> >> On Wednesday, August 17, 2016 at 5:30:56 AM UTC-4, Florian Apolloner >> wrote: >>> >>> >>> >>> On Wednesday, August 17, 2016 at 11:06:47 AM UTC+2, dmoisset wrote: >>>> >>>> @Florian >>>> Would you care to ellaborate? I couldn't find the post you mention >>>> (although requests is one of the few 3rd party projects that have support >>>> at the official typeshed repository, https://github.com/python/typeshed >>>> ) >>>> >>> >>> https://lwn.net/Articles/643269/ and https://lwn.net/Articles/643399/ >>> -- might be that things changed by now. >>> >> -- 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 firstname.lastname@example.org. 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/6f2b5dd9-f8e6-4b67-8e25-585cbd802413%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.