Type hints, PEP 561, and mypy-django

119 views
Skip to first unread message

Luke Murphy

unread,
Jul 22, 2018, 8:14:52 AM7/22/18
to django-d...@googlegroups.com
Hi folks,

Following a short discussion over at:

> https://github.com/machinalis/mypy-django/issues/9,

There is some renewed interest in getting stuck into type hints for
Django. I wanted to drop a mail here to see what the status is.

In preparation for this email, I've been combing the Django issue
tracker and some related project Github issues to see what has already
been done and adding notes over at:

> https://github.com/lwm/mypy-django/issues/1

Was I correct in discovering that there is some general consensus on
waiting PEP 561 to land? It seems like that PEP has been accepted and
there are three options for implementation:

> PEP 561 notes three main ways to distribute type information. The
> first is a package that has only inline type annotations in the code
> itself. The second is a package that ships stub files with type
> information alongside the runtime code. The third method, also known
> as a “stub only package” is a package that ships type information for
> a package separately as stub files.

I saw mention of the necessity of DEP being submitted. Has it been
done yet or started? I can't see anything related over at:

> https://github.com/django/deps

Hope someone can enlighten me, thanks!

Best,

Luke

Luke Murphy

unread,
Jul 23, 2018, 3:52:06 AM7/23/18
to django-d...@googlegroups.com
FYI we're chatting on https://gitter.im/mypy-django/Lobby about organising this.

Feel free to drop by there.
>--
>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-develop...@googlegroups.com.
>To post to this group, send email to django-d...@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/20180722111916.xvbjtbxs7d2zu6jy%40lostatsea.lostatsea.
>For more options, visit https://groups.google.com/d/optout.
Reply all
Reply to author
Forward
0 new messages