RM
Где самоизолируешься?
Кстати, вот это топчик
https://twitter.com/jdegoes/status/1245305980512067585?s=20
Size: a a a
2020 April 03
AH
AH
Тоже так хочу в фшарпе
VS
а как это будет выглядеть? что то не оч понимаю
AH
а как это будет выглядеть? что то не оч понимаю
AH
При этом всякие
(string | null) | (int | null) | (double)
Будут правильно схлопываться до (string | int | double | null) и тип (double | null) будет валидным для входа в эту функцию
(string | null) | (int | null) | (double)
Будут правильно схлопываться до (string | int | double | null) и тип (double | null) будет валидным для входа в эту функцию
AH
Так как компилятор может доказать что он подтип
AH
а как это будет выглядеть? что то не оч понимаю
Это же мечта алгебраических типов
VS
вот это вроде понятно) но у нас же
type X =
| A of string
| B of string
AH
вот это вроде понятно) но у нас же
type X =
| A of string
| B of string
У нас нет юнион типов (
AH
Поэтому у нас не сработает никак
VS
понятно) а & как работает?
AH
понятно) а & как работает?
Как тип пересечение
VS
нужен пример)
AH
Ок. Int && IComparable
AH
Это тип пересечение
AH
В ООП реализован через наследование
VS
но это же невалидное пересечение?
AH
но это же невалидное пересечение?
Чо бы это?
AH
Любое пересечение валидно