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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

F# Chat

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

Г

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

R

Roman in F# Chat
логика тащем-то предельно проста: каждый тип — множество его значений. В случае тип-сумм итоговая мощность множества (кол-во элементов) равна сумме кол-ва элементов каждого входящего в объединение множества. А в случае тупли — суммарная мощность является произведением
источник
23:18пожаловаться#2

Г

Герман in F# Chat
так как при пересечении значений из T1 и T2 они схлопываются в одно значение в T1 | T2
источник
23:18пожаловаться#3

R

Roman in F# Chat
Герман
тайпскриптовские юнионы не типы-суммы в теоркатном и прочем смысле
это почему?
источник
23:19пожаловаться#4

VS

Vladimir Shchur in F# Chat
https://github.com/fsharp/fslang-suggestions/issues/538
GitHub
Erased type-tagged anonymous union types · Issue #538 · fsharp/fslang-suggestions
Modified Proposal (by @dsyme) This is a suggestion to add adhoc structural type-tagged union types where type syntax (A|B) or Typed(A|B) or Typed<A,B> each type of (A|B|C|...) is dist...
источник
23:47пожаловаться#5

VS

Vladimir Shchur in F# Chat
этот ишуй?
источник
23:47пожаловаться#6

МП

Миша Проказин... in F# Chat
У рекордов есть синтаксис со словом with, очень удобный. С помощью него можно изменить вложенное поле?
источник
23:49пожаловаться#7

МП

Миша Проказин... in F# Chat
Типа у меня есть рекорд 1, который содержит рекорд 2, который содержит какое-то значение, которое я хочу изменить.
источник
23:49пожаловаться#8

МП

Миша Проказин... in F# Chat
И на вход я получаю рекорд 1.
источник
23:50пожаловаться#9

Г

Герман in F# Chat
нет(
источник
23:51пожаловаться#10

Г

Герман in F# Chat
для такого в функциональных языках есть линзы
но удобных библиотек с линзами в F# нет(
источник
23:51пожаловаться#11

((

(fun () -> ()) in F# Chat
Миша Проказин
У рекордов есть синтаксис со словом with, очень удобный. С помощью него можно изменить вложенное поле?
{ r1 with R2 = { r1.R2 with A = newValue } }
источник
23:52пожаловаться#12

МП

Миша Проказин... in F# Chat
Вот именно этого я и не хочу делать
источник
23:53пожаловаться#13

МП

Миша Проказин... in F# Chat
Потому что на самом деле у меня этих рекордов там три.
источник
23:53пожаловаться#14

((

(fun () -> ()) in F# Chat
а, тогда извини
источник
23:53пожаловаться#15

((

(fun () -> ()) in F# Chat
тебе в линзы
источник
23:53пожаловаться#16

МП

Миша Проказин... in F# Chat
А значение - список, в который мне нужно элемент добавить.
источник
23:53пожаловаться#17

((

(fun () -> ()) in F# Chat
но ты не хочешь этого делать
источник
23:53пожаловаться#18

((

(fun () -> ()) in F# Chat
Миша Проказин
А значение - список, в который мне нужно элемент добавить.
head::A
источник
23:54пожаловаться#19

МП

Миша Проказин... in F# Chat
А, нет, всё же два
источник
23:55пожаловаться#20