AZ
Но он, внезапно, есть и в языках с статической типизацией.
да, но в них кроме него есть и другие типы)
Size: a a a
2020 March 03
DF
+
AZ
мы это уже разобрали и дальше ушли
p
Чтобы не просто на словах было
AZ
и мат не приветствуется
EG
да, но в них кроме него есть и другие типы)
В mypy типизация полноценная и в некоторых местах лучше, чем в Rust (есть зависимые типы, например).
В питоне типы есть, но они динамические.
В питоне типы есть, но они динамические.
p
и мат не приветствуется
?
AZ
я удалил
AZ
В mypy типизация полноценная и в некоторых местах лучше, чем в Rust (есть зависимые типы, например).
В питоне типы есть, но они динамические.
В питоне типы есть, но они динамические.
в питоне кроме dict какой еще способ создать структуру?
DF
Метакласс type
EG
в питоне кроме dict какой еще способ создать структуру?
class же.p
в питоне кроме dict какой еще способ создать структуру?
class Foo:
pass
pass
EG
Ну или
type('class_name', (bases,), {'fields': initial_values})p
Ещё есть туплы
DF
Есть зависимые типы в муру?
DF
Ето как
EG
Dollar Føølish
Есть зависимые типы в муру?
Есть в какой-то мере.
@overload
def f(x: Literal[True]) -> int:
...
@overload
def f(x: Literal[False]) -> str:
...
EG
Из более реальных примеров, возвращаемый тип
open() зависит от режима, в котором ты открываешь файл.p
Нужно замутить ФП на питоне с mypy