Вы кстати заморачиваетесь с Celsius = float # ну или TypeAlias, если

Хммм, не очень ( Если такие хинты только в части кодовой базы, то Foo = float Bar = float x: float = 1.23 y: Foo = 1.23 z: Bar = 1.23 def foo(n: Foo): pass foo(x) # no error foo(y) # no error foo(z) # error Будет для меня идеальным поведением

0

19.07.2023

Tishka17

Виктор
Хммм, не очень ( Если такие хинты только в части к...

Вот я взял и длине приравнял вес. Это не корректно же $ mypy aliases.py Success: no issues found in 1 source file $ cat aliases.py Length = float Weight = float x: Weight = 1 y: Length = x

0

19.07.2023

Виктор Автор вопроса

Tishka17
Вот я взял и длине приравнял вес. Это не корректно...

Да, но тогда если ты сменишь тайпхинт float на Length в фунцию, которая вызывается в 10 местах с float аргументами, придется добавлять касты перед вызовом во всех этих местах

0

19.07.2023

Tishka17

Виктор
Да, но тогда если ты сменишь тайпхинт float на Len...

нет, касты надо только на входе, в коде везде придется менять на Length, иначе смысла ноль в этом

0

19.07.2023

Andrey

Tishka17
нет, касты надо только на входе, в коде везде прид...

cast вообще для случаев "у нас тут динамическое легаси, его нормально не затипизировать, переписывать лень, Any не хотим, завалим кастами"

0

19.07.2023