VS
Анонимные внутри query CE говном кидаются в рантайме
слуш, говорят там рекорды по имени отсортированы, попробуй их кверить отсортированными по имени)
Size: a a a
2020 May 15
SB
В ТЕОРИИ все работает )))
AH
A + B = {выбери_любой_маркер} X A \union {выбери_любой_другой_маркер} X B
Не надо в общем их мешать в кучу
AH
В ТЕОРИИ все работает )))
До встречи с сабтайпингом
оГ
слуш, говорят там рекорды по имени отсортированы, попробуй их кверить отсортированными по имени)
они разъёбываются на преобразовании экспрешона
AH
Юнион типы должны их поддерживать!
string|int должен быть подтипом string|int|guid!
string|int должен быть подтипом string|int|guid!
AH
Что не правда для ДУ
VS
SB
Юнион типы должны их поддерживать!
string|int должен быть подтипом string|int|guid!
string|int должен быть подтипом string|int|guid!
а можешь показать как это из определений следует? по момему определению это неверно
VS
Но тех, кто выбрался из башни из слоновой кости, это почему-то не останавливает
VS
они разъёбываются на преобразовании экспрешона
печаль
AH
а можешь показать как это из определений следует? по момему определению это неверно
Из определения вхождения множеств.
В общем все операции над множествами и их теоремы можно переносить на юнион типы
В общем все операции над множествами и их теоремы можно переносить на юнион типы
AH
На ДУ тоже можно, но там своя специфика с disjoint сетами
SB
т.е. по-твоему
string | int это подмножество string | int | любой другой тип?AH
т.е. по-твоему
string | int это подмножество string | int | любой другой тип?Таки да, для неразмеченных объединений
AH
Это же даже очевидно слегка
SB
а, ну так. то определение, которые я выше дал, этому не удовлетворяет, поэтому мы и не понимаем друг друга. или я чего-то не понимаю в том определении, которое сам написал.
AH
Любое значение string|int является значением типа string|int|любой тип
VS
В теории, можно обобщить на размеченные