p
Dollar Føølish
Без нулла лучше
Он нужен, но не в ЯП
Size: a a a
2020 March 11
G
Он нужен, но не в ЯП
+
EG
Можно и в ЯП, но checked. Любым способом — хоть через тип-сумму как в Rust/Haskell, хоть через ээээ тип-объединение? как в mypy
EG
Я не уверен, как это правильно назвать
DF
Тип произведение это тупл просто
EG
Не произведение
A
Я не уверен, как это правильно назвать
tagged vs untagged union
DF
А вон чо
EG
Нет, это тоже неправда.
EG
Хотя ближе к истине
A
EG
Это типа как тип-сумма, но при этом
Union[int, int] == int и Union[int, int, str] == Union[int, str]. Если у этого есть правильное название, я о нём не в курсеr
По смыслу set-of-types
r
А
Union[Union[int]] равно Union[int]?EG
red75prime
А
Union[Union[int]] равно Union[int]?Да
r
set of ur-elements
AZ
(
нет
(
а
(
перепутано, да, равны