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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

F# Flood: ПДД made functional, making illegal state INGIBDDdale

200 membersпожаловаться на группу
2020 May 15

VS

Vasily Shapenko in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Они про размещение в памяти
источник
21:25пожаловаться#1

VS

Vasily Shapenko in F# Flood: ПДД made functional, making illegal state INGIBDDdale
И в сишарпе они отлично делались на атрибутах
источник
21:26пожаловаться#2

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
John A De Goes on Twitter: "In Scala 3, type intersections & unions are associative, commutative, and have an identity: A & (B & C) =:= (A & B) & C A & B =:= B & A A & Any =:= A Any & A =:= A A | (B | C) =:= (A | B) | C…
https://mobile.twitter.com/jdegoes/status/1245305980512067585
Twitter
John A De Goes
In Scala 3, type intersections & unions are associative, commutative, and have an identity: A & (B & C) =:= (A & B) & C A & B =:= B & A A & Any =:= A Any & A =:= A A | (B | C) =:= (A | B) | C A | B =:= B | A A | Nothing =:= A Nothing | A =:= A Type-level commutative monoids!
источник
21:26пожаловаться#3

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Вот так сишные юнионы не могут. Они просто для хранения даты
источник
21:26пожаловаться#4

VK

Vladislav Khapin in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Ayrat Hudaygulov
John A De Goes on Twitter: "In Scala 3, type intersections & unions are associative, commutative, and have an identity: A & (B & C) =:= (A & B) & C A & B =:= B & A A & Any =:= A Any & A =:= A A | (B | C) =:= (A | B) | C…
https://mobile.twitter.com/jdegoes/status/1245305980512067585
Twitter
John A De Goes
In Scala 3, type intersections & unions are associative, commutative, and have an identity: A & (B & C) =:= (A & B) & C A & B =:= B & A A & Any =:= A Any & A =:= A A | (B | C) =:= (A | B) | C A | B =:= B | A A | Nothing =:= A Nothing | A =:= A Type-level commutative monoids!
Нельзя блять кодом написать
источник
21:26пожаловаться#5

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
источник
21:27пожаловаться#6

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
В самом твите получше!
источник
21:27пожаловаться#7

SB

S B in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Ayrat Hudaygulov
так это ж обыкновенная теория множеств, не?
источник
21:29пожаловаться#8

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Переслано от Ayrat Hudaygulov
Из определения вхождения множеств.

В общем все операции над множествами и их теоремы можно переносить на юнион типы
источник
21:29пожаловаться#9

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
S B
так это ж обыкновенная теория множеств, не?
^^
источник
21:29пожаловаться#10

SB

S B in F# Flood: ПДД made functional, making illegal state INGIBDDdale
только Any смущает. Рассел же по-моему сто лет назад показал, что такого множества не существует.
источник
21:29пожаловаться#11

SB

S B in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Ayrat Hudaygulov
Переслано от Ayrat Hudaygulov
Из определения вхождения множеств.

В общем все операции над множествами и их теоремы можно переносить на юнион типы
Я к тому, хули он так сложно пишет про то, что уже написано-перенаписано.
источник
21:30пожаловаться#12

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
S B
Я к тому, хули он так сложно пишет про то, что уже написано-перенаписано.
Но такого я лично не видел в мейнстрим языках
источник
21:30пожаловаться#13

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Ты видел?)
источник
21:30пожаловаться#14

SB

S B in F# Flood: ПДД made functional, making illegal state INGIBDDdale
я не смотрел, если честно. вчера завел себе твиттер только. но в CS там теория множеств во всю в ходу.
источник
21:30пожаловаться#15

SB

S B in F# Flood: ПДД made functional, making illegal state INGIBDDdale
кастомные операторы никто не придумывает
источник
21:30пожаловаться#16

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Да не, я о том как ведут себя типы
источник
21:31пожаловаться#17

SB

S B in F# Flood: ПДД made functional, making illegal state INGIBDDdale
но за A & Any = A его очень быстро бы забодали
источник
21:31пожаловаться#18

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
То есть в скала 3, компилятор будет выкупать это всё в компайл тайме
источник
21:31пожаловаться#19

SB

S B in F# Flood: ПДД made functional, making illegal state INGIBDDdale
мне кажется (не знаю точно), что Тайпскрипт как раз что-то такое и умеет.
источник
21:32пожаловаться#20