EG
Аналогично, тип
*args это всегда Tuple[str, ...]Size: a a a
2020 April 12
а
Скинь ссылку на PEP?
А он есть?
а
Лол а вы знаете что вас ненавидят классические питоняши
ну ненавидят и ненавидят
EG
А он есть?
Если есть запланированная фича, то должен быть и пеп
SP
То есть, например,
**kwargs: str значит «любые дополнительные keyword-аргументы должны иметь тип str».Да только там разные типы в зависимости от ключа
EG
Я не могу найти, о чём ты говоришь
а
Если есть запланированная фича, то должен быть и пеп
на каждую фиговину в typing теперь PEP писать?
EG
Да только там разные типы в зависимости от ключа
Так нельзя
Если ты знаешь ключи и типы, то зачем тебе вообще kwargs?
Если ты знаешь ключи и типы, то зачем тебе вообще kwargs?
EG
на каждую фиговину в typing теперь PEP писать?
Да, это так работает
A
Сигнатура встроенной питоновской функции
open() в Haskell невыразимаА что там за сигнатура такая?
p
Лол а вы знаете что вас ненавидят классические питоняши
Классическая питоняша идиот, ты сам знаешь
EG
А что там за сигнатура такая?
Тип возвращаемого значения меняется в зависимости от значения аргумента
EG
А, это я видел, но не понял, почему это интересно
EG
Тулингом, который умеет это использовать, это обрастёт не скоро
SP
Так нельзя
Если ты знаешь ключи и типы, то зачем тебе вообще kwargs?
Если ты знаешь ключи и типы, то зачем тебе вообще kwargs?
Ой я с другой планеты, забыл когда переобулся
а
Тулингом, который умеет это использовать, это обрастёт не скоро
позволяет заставлять мупу проверять что у тебя не просто инт, а инт от 3 до 10
EG
позволяет заставлять мупу проверять что у тебя не просто инт, а инт от 3 до 10
Решительно не вижу, где написано, что mypy будет это проверять
EG
Это просто позволяет прикрепить к типу любую фигню, чтобы другой тулинг мог ей воспользоваться
а
Решительно не вижу, где написано, что mypy будет это проверять
ну это да