k
а что за RA?
Size: a a a
2020 October 22
b
kalan
а что за RA?
Rust Analyzer (matklad)
li
Так он при таком конфиге грузится столько же, сколько и жидбрейнс
SS
Не. к сожалению, не то. Там нельзя у енумов значения передавать
JM
+
b
Так он при таком конфиге грузится столько же, сколько и жидбрейнс
при каком таком конфиге? jetbrains вообще не работает автокомплит
D
kalan
энум - это сумма, структура - произведение
сумма и произведение чего?
Энумирейшн - это дословно перечисление. Список возможных вариантов.
Энумирейшн - это дословно перечисление. Список возможных вариантов.
EG
сумма и произведение чего?
Энумирейшн - это дословно перечисление. Список возможных вариантов.
Энумирейшн - это дословно перечисление. Список возможных вариантов.
Сумма и произведение типов.
JC
типов
JC
структура это декартовое произведение множеств
енам это сумма множеств
енам это сумма множеств
JC
Наверное не очень корректно рассматривать типы как множества, поэтому всего лишь аналогия
MB
По-моему типы в расте слабее чем множества
EG
структура это декартовое произведение множеств
енам это сумма множеств
енам это сумма множеств
Энам это не сумма множеств
MB
По крайней мере я не вижу, как сделать тип равномощный 2**R
EG
bool + bool даёт 4 варианта, а не 2
MB
bool + bool даёт 4 варианта, а не 2
|bool| = 2
|bool + bool| = 4 = |bool| + |bool|
В чем противоречие?
|bool + bool| = 4 = |bool| + |bool|
В чем противоречие?
EG
|bool| = 2
|bool + bool| = 4 = |bool| + |bool|
В чем противоречие?
|bool + bool| = 4 = |bool| + |bool|
В чем противоречие?
bool это
{true, false}EG
{true, false} + {true, false} это {true, false}EG
Два элемента, а не четыре
MB
{true, false} + {true, false} это {true, false}Сумма это не объединение