T
Size: a a a
2021 June 09
T
какого тайплиста, каком редьюсе
T
В резульатте редьюса тайплиста на функцию будет type согласно тому как эта функция обрабатывает типы
T
Ты же не хочешь чтобы статический анализатор вычислял функцию? для этого есть интепретатор
T
иначе привет
constexpr и вперёд писать на плюсахT
если функция работает не совсеми типами, а только с конкретными, можно попробовать сузить type через NewType
A
Ппц о чем речь
T
по сути у тебя функция имеет сигнатуру
def foo(a: SomeType, b: SomeType) -> SomeTypeT
и соответсвенно тайплист имеет тип
List[SomeType]T
где
SomeType - это type или баундтип какой-нибудьT
ещё раз: нет никакой разницы между функцией работающей с типами и функцией работающей с числами
m
я знаю, но надо напилить чета такое
T
какое?
m
компилятор на коленке
m
точнее проверка типов от компилятора в компилируемых языках
m
в путхоне
T
у тебя mypy и так проверяет