Python аннотация для списка из N списков

Question

Я искал, чтобы аннотировать мой возвращаемый тип, который оказывается списком, содержащим N-списки типа int. Это формат list[list[int]] Хорошо? Параметр на самом деле выглядит

a = [[1, 2, 3],[4, 5, 6],[7, 8, 9]]

Answer 1

Да, List[List[int]] это правильный тип.

В качестве примечания: если вы не уверены в типе, вы можете определить эту переменную и использовать Mypy reveal_typeметод, чтобы он угадал правильный тип. Например:

> cat foo.py
a = [[1, 2, 3], [4, 5, 6], [7, 8, 9]]
reveal_type(a)

> mypy foo.py
1.py:2: note: Revealed type is 'builtins.list[builtins.list*[builtins.int]]'

что говорит вам, что тип a является List[List[int]]. Обратите внимание, чтоreveal_typeне является допустимой функцией; это скорее особый синтаксис, встроенный в Mypy. Если вы попытаетесь бежатьfoo.py в Python это вызовет NameError.

Для получения дополнительной информации рассмотрите возможность чтения документации Mypy.