Как правильно чистить generic-тип от параметров: List[str] -> List?

Question

[Сергей П]

В python3.7 нарушилась обратная совместимость в плане проверки типов джинериков:

$ python3.6 -c "import typing; print(issubclass(typing.List[str], typing.List))"
True
$ python3.8 -c "import typing; print(issubclass(typing.List[str], typing.List))"
Traceback (most recent call last):
  File "<string>", line 1, in <module>
  File "/usr/lib/python3.8/typing.py", line 774, in __subclasscheck__
    raise TypeError("Subscripted generics cannot be used with"
TypeError: Subscripted generics cannot be used with class and instance checks

Оставим сейчас за скобками всё моё отвращение к тому, как в питоне решено было реализовать тайпхинтинг и джинерики. Не будем плеваться на фекалистичный код в стандартной библиотеке питона. Просто побомбим на тему:

А как же правильно элегантно и коротко отчистить описание типа от параметров.

Где-то встречал такое:
getattr(typing, List[str]._name)
Но, блин, они серьёзно?! Неужели нет способа лучше?

Честно сказать давно стараюсь поменьше смотреть в сторону подробностей реализации некоторых "грязных" мест любимого языка программирования. Одно расстройство.
Вот наткнулся при миграции своего небольшого проекта с 3.6 на 3.8 на очередную лепёшку.

Comments

[Roman K]

Если тебе не нравятся типы в питоне, зачем же ты их пишешь? Если тебе нужны типы, но не нравится, какие они в питоне - пиши на джаве, в чем проблема?

[Сергей П]

Roman Kitaev, мне нравится питон и нравятся типы, я хочу их использовать.
Но мне не нравится то, как реализованы джинерики и тайпхинтинг в питоне.
Это не значит. что я знаю как сделать однозначно правильнее, хотя какие-то соображения есть. Я просто мало этим вопросом занимался.
А ваша агрессивная позиция меня удивляет.
Эдак не нравятся наши дороги - уматывай из страны? Критика - это забота.

[Andy_U]

Сергей Паньков: А можно попросить чуть более реалистичный пример использования привести? А то я все время считал, что type hints на этапе работают только во всяких mypy и IDE?

[Сергей П]

Andy_U, ну я хотел использовать механизм джинериков для описания типов полей в маленьком самопальном ORM.
Что-то вроде такого:

class MyModel(metaclass=ModelMeta):
    id = Attr(int, caption='primary key')
    name = Attr(str, caption='some name')
    regalia = Attr(List[str], caption='some list of strings')

К примеру такое описание можно было бы сконвертировать в DDL SQL create table.

[Сергей Тихонов]

Для конвертации в DDL есть атрибут __annotations__.

[Andy_U]

Сергей Паньков, Я правильно понимаю, что Attr - это ваш класс, первый параметр которого вы используете для типа создания маппинга переменной на поле/поля файлов базы данных? А насколько сложным может быть первый параметр? Сколько "съест" typing, или ограниченный список вариантов? Например, такой тип Tuple[Tuple[int, float], List[str]] допустим?

P.S. Поиск в google находит много упоминаний данной проблемы, включая обсуждение багов Питона (2017)...

[Сергей П]

Andy_U, делалось для постгреса, а там есть массивы text[], int[] и т.д., так что если там Dict, то глубже смотреть не надо, это json. Если List, то его аргументы интересуют только в рамках возможностей постгрес для описания типов столбцов.

[Дмитрий]

Сергей Паньков, А если, как вариант, ввести ещё один уровень абстракции?

[Сергей П]

Дмитрий, да можно, конечно. Просто они уже сделали эти типы, сделали там же весьма полезный Namedtuple, который местами вполне заменяет data-классы, а тут такой облом и недоделка.
Да и как линтеры всякие писать на основе всего этого? Можно ж было довести до ума.

[Andy_U]

Сергей Паньков, С одной стороны, если вариантов немного, ну и ладно, лишь бы работало, хоть и не так красиво. С другой стороны, исключение генерируется в питоновском коде, в методе какого-то класса _GenericAlias. Осталось понять, как управление сюда попало из функции issubclass и попытаться обойти ошибку. А вдруг?

[Andy_U]

Сергей Паньков, А вот это вам не поможет?

[Сергей П]

Andy_U, "это" и так было очевидно, если покопаться в исходниках. Вопрос отчасти риторический получился. На случай если у кого, к примеру, свой typing имплементирован с блекджеком и интроспецией, а мне он просто не попался.
Так-то, конечно, обойтись можно. Понятно,ч то весь тайпхинтинг нужен не для рантайма, но можно ж было и побольше зайцев одним залпом перестрелять.