Switch to mypy

This is a work-in-progress attempt at switching over to mypy as part of
 #85. There's still some work to be done (e.g. mypy ignore comments need
to be added where appropriate) and I'm currently working with some
local changes pyre's stubs, but I wanted to track the work being done.

Author: dirn

.flake8

@@ -5,19 +5,5 @@ max-line-length = 80
 max-complexity = 18
 per-file-ignores =
     src/awards/settings/dev.py: F405
-    # TODO: Remove these once
-    # https://github.com/facebook/pyre-check/pull/256,
-    # https://github.com/facebook/pyre-check/pull/260,
-    # https://github.com/facebook/pyre-check/pull/261, and
-    # https://github.com/facebook/pyre-check/pull/262 can be used.
     src/applications/forms.py: B950
-    src/applications/migrations/0003_auto_20200507_0125.py: B950
-    src/applications/models.py: B950
-    src/applications/test_views.py: B950
-    src/awards/urls.py: B950
-    src/homepage/test_views.py: B950
-    src/users/migrations/0001_initial.py: B950
-    src/users/forms.py: B950
-    src/users/models.py: B950
-    src/users/views.py: B950
 select = B,C,E,F,W,T4,B9

src/.pyre_configuration

@@ -17,7 +17,6 @@ class FinancialAidApplicationForm(ApplicationForm):
     type = Application.Type.FINANCIAL_AID
 
     travel_requested = forms.BooleanField(
-        # pyre-ignore[16]: This is fixed by https://github.com/facebook/pyre-check/pull/262.
         label=_("Do you need assistance with travel?"),
         required=False,
     )
@@ -32,13 +31,9 @@ class Meta:
             "lodging_requested",
         )
         labels = {
-            # pyre-ignore[16]: This is fixed by https://github.com/facebook/pyre-check/pull/262.
             "background": _("Tell us a little bit more about yourself"),
-            # pyre-ignore[16]: This is fixed by https://github.com/facebook/pyre-check/pull/262.
             "lodging_requested": _("Do you need assistance with lodging?"),
-            # pyre-ignore[16]: This is fixed by https://github.com/facebook/pyre-check/pull/262.
             "reason_to_attend": _("Why are you interested in attending PyGotham?"),
-            # pyre-ignore[16]: This is fixed by https://github.com/facebook/pyre-check/pull/262.
             "travel_amount": _("What is the estimated cost (USD)?"),
         }
         widgets = {
@@ -51,20 +46,14 @@ def clean(self) -> Dict[str, Any]:
         travel_amount = cleaned_data.get("travel_amount") or 0
         if travel_amount < 0:
             raise forms.ValidationError(
-                {
-                    # pyre-ignore[16]: This is fixed by https://github.com/facebook/pyre-check/pull/262.
-                    "travel_amount": _(
-                        "Your estimated travel costs cannot be negative."
-                    )
-                }
+                {"travel_amount": _("Your estimated travel costs cannot be negative.")}
             )
 
         travel_requested = cleaned_data.get("travel_requested")
         if travel_requested:
             if not travel_amount:
                 raise forms.ValidationError(
                     {
-                        # pyre-ignore[16]: This is fixed by https://github.com/facebook/pyre-check/pull/262.
                         "travel_amount": _(
                             "Your estimated travel costs must be greater than $0.00."
                         )
@@ -73,7 +62,6 @@ def clean(self) -> Dict[str, Any]:
         elif travel_amount:
             raise forms.ValidationError(
                 {
-                    # pyre-ignore[16]: This is fixed by https://github.com/facebook/pyre-check/pull/262.
                     "travel_requested": _(
                         "You must request travel assistance before providing an estimated cost."
                     )
@@ -83,7 +71,6 @@ def clean(self) -> Dict[str, Any]:
         return cleaned_data
 
     def clean_lodging_requested(self) -> bool:
-        # pyre-ignore[16]: This is fixed by https://github.com/facebook/pyre-check/pull/261.
         return bool(self.cleaned_data.get("lodging_requested"))
 
 
@@ -94,9 +81,7 @@ class Meta:
         model = Application
         fields = ("background", "reason_to_attend")
         labels = {
-            # pyre-ignore[16]: This is fixed by https://github.com/facebook/pyre-check/pull/262.
             "background": _("Tell us a little bit about yourself"),
-            # pyre-ignore[16]: This is fixed by https://github.com/facebook/pyre-check/pull/262.
             "reason_to_attend": _("Why are you interested in attending PyGotham?"),
         }
 

src/applications/forms.py

@@ -18,7 +18,6 @@ class Migration(migrations.Migration):
         migrations.AddField(
             model_name="application",
             name="travel_amount",
-            # pyre-ignore[16]: This is fixed by https://github.com/facebook/pyre-check/pull/260.
             field=models.DecimalField(
                 blank=True, decimal_places=2, max_digits=10, null=True
             ),

src/applications/migrations/0003_auto_20200507_0125.py

@@ -4,44 +4,35 @@
 from django.db import models
 from django.utils.translation import ugettext_lazy as _
 
-# pyre-ignore[16]: This is fixed by https://github.com/facebook/pyre-check/pull/256.
 User = get_user_model()
 
 
 class Application(models.Model):
-    # pyre-ignore[11]: This is fixed by https://github.com/facebook/pyre-check/pull/256.
     class Status(models.TextChoices):
         PENDING = "pending"
 
-    # pyre-ignore[11]: This is fixed by https://github.com/facebook/pyre-check/pull/256.
     class Type(models.TextChoices):
         FINANCIAL_AID = "finaid"
         SCHOLARSHIP = "scholarship"
 
-    # pyre-ignore[16]: This is fixed by https://github.com/facebook/pyre-check/pull/256.
     applicant = models.ForeignKey(User, on_delete=models.DO_NOTHING)
     background = models.TextField(_("applicant background"))
     reason_to_attend = models.TextField(_("reason the applicant wishes to attend"))
     status = models.CharField(
         max_length=20,
-        # pyre-ignore[16]: This is fixed by https://github.com/facebook/pyre-check/pull/256.
         choices=Status.choices,
         default=Status.PENDING,
     )
     type = models.CharField(
         max_length=11,
-        # pyre-ignore[16]: This is fixed by https://github.com/facebook/pyre-check/pull/256.
         choices=Type.choices,
         default=Type.SCHOLARSHIP,
     )
-    # pyre-ignore[16]: This is fixed by https://github.com/facebook/pyre-check/pull/260.
     travel_amount = models.DecimalField(
         max_digits=10, decimal_places=2, blank=True, null=True
     )
     lodging_requested = models.BooleanField(null=True)
 
     def __str__(self) -> str:
-        # pyre-ignore[19]: This is fixed by https://github.com/facebook/pyre-check/pull/256.
         type_ = Application.Type(self.type)
-        # pyre-ignore[16]: This is fixed by https://github.com/facebook/pyre-check/pull/256.
         return f"{type_.label} application for {self.applicant}"

src/applications/models.py

@@ -6,7 +6,6 @@ def test_financial_aid_lodging_requested_is_treated_as_boolean() -> None:
 
     form = FinancialAidApplicationForm(other_fields)
     assert form.is_valid()
-    # pyre-ignore[16]: This is fixed by https://github.com/facebook/pyre-check/pull/261.
     assert form.cleaned_data["lodging_requested"] is False
 
 

src/applications/test_forms.py

@@ -11,7 +11,6 @@
 from applications.views import apply
 
 
-# pyre-ignore[13]: Investigate type stubs for factory-boy.
 class ApplicationFactory(DjangoModelFactory):
     class Meta:
         model = Application
@@ -24,29 +23,25 @@ class Meta:
 
 class UserFactory(DjangoModelFactory):
     class Meta:
-        # pyre-ignore[16]: This is fixed by https://github.com/facebook/pyre-check/pull/256.
         model = get_user_model()
         django_get_or_create = ("email",)
 
     email = "user@example.org"
 
 
 @pytest.mark.django_db
-# pyre-ignore[11]: This is fixed by https://github.com/facebook/pyre-check/pull/256.
 def test_that_one_of_form_type_and_pk_is_required_by_apply(client: Client) -> None:
     user = UserFactory()
     qs = get_query_string(user)
     client.get(f"/login/magic{qs}")
 
     request = HttpRequest()
     request.user = user
-    # pyre-ignore[16]: pyre doesn't think ExceptionInfo as an __enter__.
     with pytest.raises(Http404):
         apply(request, form_type=None, pk=None)
 
 
 @pytest.mark.django_db
-# pyre-ignore[11]: This is fixed by https://github.com/facebook/pyre-check/pull/256.
 def test_user_can_edit_their_application(client: Client) -> None:
     user = UserFactory()
     qs = get_query_string(user)
@@ -67,7 +62,6 @@ def test_user_can_edit_their_application(client: Client) -> None:
 
 
 @pytest.mark.django_db
-# pyre-ignore[11]: This is fixed by https://github.com/facebook/pyre-check/pull/256.
 def test_user_can_view_their_application(client: Client) -> None:
     user = UserFactory()
     qs = get_query_string(user)
@@ -80,7 +74,6 @@ def test_user_can_view_their_application(client: Client) -> None:
 
 
 @pytest.mark.django_db
-# pyre-ignore[11]: This is fixed by https://github.com/facebook/pyre-check/pull/256.
 def test_user_cant_view_someone_elses_application(client: Client) -> None:
     user = UserFactory()
     other = UserFactory(email=f"other+{user.email}")

src/applications/test_views.py

@@ -9,19 +9,15 @@
 app_name = "applications"
 
 urlpatterns = [
-    # pyre-ignore[16]: This is fixed by https://github.com/facebook/pyre-check/pull/256.
     path("edit/<int:pk>", apply, name="edit"),
-    # pyre-ignore[16]: This is fixed by https://github.com/facebook/pyre-check/pull/256.
     path(
         "financial-aid",
         apply,
         {"form_type": FinancialAidApplicationForm},
         name="financial_aid",
     ),
-    # pyre-ignore[16]: This is fixed by https://github.com/facebook/pyre-check/pull/256.
     path(
         "ticket", apply, {"form_type": ScholarshipApplicationForm}, name="scholarship"
     ),
-    # pyre-ignore[16]: This is fixed by https://github.com/facebook/pyre-check/pull/256.
     path("view/<int:pk>", view, name="view"),
 ]

src/applications/urls.py

@@ -1,6 +1,9 @@
+from __future__ import annotations
+
 import os
+from typing import List
 
-from decouple import config
+from decouple import config  # type: ignore[import]
 
 # Build paths inside the project like this: os.path.join(BASE_DIR, ...)
 BASE_DIR = os.path.dirname(os.path.dirname(os.path.abspath(__file__)))
@@ -9,7 +12,7 @@
 # Quick-start development settings - unsuitable for production
 # See https://docs.djangoproject.com/en/3.0/howto/deployment/checklist/
 
-ALLOWED_HOSTS = []
+ALLOWED_HOSTS: List[str] = []
 
 
 # Application definition
@@ -77,7 +80,7 @@
 # https://docs.djangoproject.com/en/3.0/ref/settings/#auth-password-validators
 
 # Password-based login isn't supported.
-AUTH_PASSWORD_VALIDATORS = []
+AUTH_PASSWORD_VALIDATORS: List[str] = []
 
 AUTH_USER_MODEL = "users.User"
 

src/awards/settings/base.py

@@ -1,4 +1,4 @@
-from decouple import config
+from decouple import config  # type: ignore[import]
 
 from awards.settings.base import *  # NOQA