В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

F# Chat

1083 membersпожаловаться на группу
2020 September 24

R

Roman in F# Chat
Юнионы в фшарпе — Discriminated (Tagged) Unions. Пушто каждое множество в этом объединении дополнительно имеет отдельное имя.
источник
23:10пожаловаться#1

P

Pavel in F# Chat
Да, но это не сум типы
источник
23:10пожаловаться#2

R

Roman in F# Chat
а юнионы string | int — это Untagged unions, то бишь без имени
источник
23:10пожаловаться#3

Г

Герман in F# Chat
Pavel
Да, но это не сум типы
наоборот же
источник
23:10пожаловаться#4

R

Roman in F# Chat
Pavel
Да, но это не сум типы
и то и другое это типы-суммы
источник
23:10пожаловаться#5

Г

Герман in F# Chat
у нас sum, у них тогда union
источник
23:10пожаловаться#6

Г

Герман in F# Chat
хотя я не знаю, как они в TS работают при пересечении значений разных типов
источник
23:11пожаловаться#7

R

Roman in F# Chat
Герман
у нас sum, у них тогда union
Вам надо почитать побольше на эту тему
источник
23:11пожаловаться#8

P

Pavel in F# Chat
Roman
а юнионы string | int — это Untagged unions, то бишь без имени
Точно, вроде это правильное название
источник
23:11пожаловаться#9

Г

Герман in F# Chat
Roman
Вам надо почитать побольше на эту тему
наверно, что посоветуете?)
источник
23:11пожаловаться#10

P

Pavel in F# Chat
Почему у нас нет антеггед юнионов?
источник
23:12пожаловаться#11

R

Roman in F# Chat
Разница, помимо очевидного, в том, что string | int = int|string = string|string|int etc.. А когда у множеств в объединении появляется имя — One of string | Two of int уже не то же самое, что Three of string | Four of int. Пушто имена
источник
23:13пожаловаться#12

R

Roman in F# Chat
Pavel
Почему у нас нет антеггед юнионов?
кажется, на гитхабе был пропозал. Можно там почитать дискуссию.
источник
23:14пожаловаться#13

R

Roman in F# Chat
Герман
наверно, что посоветуете?)
честно говоря, хз. Я читал только fsharpforfunandprofit и наши чатики)
источник
23:14пожаловаться#14

R

Roman in F# Chat
но там, кстати, должно быть про юнионы нормально
источник
23:15пожаловаться#15

Г

Герман in F# Chat
Герман
у нас sum, у них тогда union
ну, вообще здесь все правильно вроде
источник
23:15пожаловаться#16

P

Pavel in F# Chat
Герман
ну, вообще здесь все правильно вроде
А кто тут они?)
источник
23:16пожаловаться#17

Г

Герман in F# Chat
TS)
источник
23:16пожаловаться#18

R

Roman in F# Chat
Герман
ну, вообще здесь все правильно вроде
и то и другое — типы-суммы, независимо от того, есть ли у множеств в этом юнионе тег (оно же имя)
источник
23:16пожаловаться#19

R

Roman in F# Chat
помимо тип-сумм есть типы-произведения. Ну, среди алгебраических типов. Пример — тупля
источник
23:17пожаловаться#20