mypy --warn-unused-configs --disallow-subclassing-any
--disallow-any-generics --disallow-untyped-calls
--disallow-untyped-defs\
         --disallow-incomplete-defs --check-untyped-defs
--disallow-untyped-decorators --no-implicit-optional
--warn-redundant-casts --warn-unused-ignores\
         --no-implicit-reexport --warn-no-return --warn-unreachable
--allow-redefinition\
         --no-incremental --show-error-context --show-column-numbers
--show-error-codes

arr = []  # type: List[int]

  1. Docstrings и аннотации должны присутствовать. Если хочется
разобраться, то имеет смысл почитать PEP в следующем порядке: 483,
3107, 484, 526. Аннотации можно проверять статическим анализатором,
например ((https://github.com/python/mypy mypy)). Ejudge запускает
##mypy## так: %%
  mypy --warn-no-return --warn-unreachable --strict
--allow-redefinition --no-incremental --show-error-context
--show-column-numbers --show-error-codes
  При этом для самостоятельной проверки рекомендуется использовать
утилиту ##dmypy## (входит в стандартную поставку) и не использовать
ключ ##--no-incremental##

from typing import List
2. Тип ##Any##. Им не стоит злоупотреблять, но многие вещи без него
сделать нельзя. Например функция сортировки определяется как-то так:
from typing import List, Any
3. Иногда нужны аннотации к данным не только в объявлениях функций.
Например, считывание 100 построчно введённых целых чисел стоит
оформлять так:
from typing import List
arr = []  # type : List[int]
for i in range(100):
    arr.append(int(input()))

  1. Docstrings и аннотации должны присутствовать. Если хочется
разобраться, то имеет смысл почитать PEP в следующем порядке: 483,
3107, 484, 526. Аннотации можно проверять статическим анализатором,
например ((https://github.com/python/mypy mypy)). Ejudge запускает
mypy так: %%

  pycodestyle --max-line-length=102 --show-source --show-pep8
--ignore=W503 --ignore=W292
  %%  ((https://www.python.org/dev/peps/pep-0008/ Оригинал)) и
((https://pythonworld.ru/osnovy/pep-8-rukovodstvo-po-napisaniyu-koda-n
a-python.html неплохой перевод)). Во многие IDE встроены средства
автоматического форматирования. Например,
((https://github.com/tell-k/vim-autopep8 плагин для vim)).
  1. Docstrings и аннотации должны присутствовать. Аннотации можно
проверять статическим анализатором, например
((https://github.com/python/mypy mypy)). Ejudge запускает mypy так: %%
  mypy --warn-no-return --warn-unreachable --strict --no-incremental
--show-error-context --show-column-numbers
  %%

===Немного про аннотации===
Для написания аннотаций бывает полезен модуль
##((https://docs.python.org/3/library/typing.html typing))##. Он может
много чего, но отдельно стоит выделить:
1. Типы для контейнеров. Например правильное определение функции
поиска среднего в списке целых числе такое:
def average(A: List[int]) -> float:
    """Return average value of A."""
    return sum(A) / len(A)
1. Тип ##Any##. Им не стоит злоупотреблять, но многие вещи без него
сделать нельзя. Например функция сортировки определяется как-то так:
def Sort(A: List[Any]) -> List[Any]:
    """Return sorted version of A."""
    return sorted(A)

  1. ((https://ru.wikipedia.org/wiki/Бритва_Оккама Бритва Оккама))
  1. Docstrings и аннотации должны присутствовать. Аннотации можно
проверять статическим анализатором, например
((https://github.com/python/mypy mypy)).