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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Rust Beginners

1454 membersпожаловаться на группу
2020 October 22

D

Dmitry in Rust Beginners
Ну как бы да, это видимо из какой-то теории, в отрыве от контекста не понятно о чем речь. Типов может не быть вообще, перечисление может быть просто enum modes {single, plural} - где в рантайме скорее всего какой-нибудь один инт будет передаваться на весь енум и будем смотреть, какое в ном значение.
источник
20:22пожаловаться#1

EG

Emmanuel Goldstein in Rust Beginners
Mikail Bagishov
Сумма это не объединение
Хорошо, покажи множество, соответствующее bool + bool
источник
20:23пожаловаться#2

EG

Emmanuel Goldstein in Rust Beginners
И дай своё определение сумме множеств для начала
источник
20:23пожаловаться#3

JC

Julian =) Coffee in Rust Beginners
ну если рассмотреть мультимножества....
источник
20:23пожаловаться#4

EG

Emmanuel Goldstein in Rust Beginners
Под A + B вообще обычно понимается вот это:
https://en.wikipedia.org/wiki/Minkowski_addition
Wikipedia
Minkowski addition
sums vector sets A and B by adding each vector in A to each vector in B
источник
20:24пожаловаться#5

D

Dmitry in Rust Beginners
И всетаки мне нравится комьюнити новичков в расте =)))
источник
20:24пожаловаться#6

MB

Mikail Bagishov in Rust Beginners
Emmanuel Goldstein
Хорошо, покажи множество, соответствующее bool + bool
Ну например я могу определить A + B как {{{x}} | x in A} \cup { {{x},{}} | x in B  }
источник
20:24пожаловаться#7

EG

Emmanuel Goldstein in Rust Beginners
Mikail Bagishov
Ну например я могу определить A + B как {{{x}} | x in A} \cup { {{x},{}} | x in B  }
Это не вполне общепринятое определение
источник
20:24пожаловаться#8

MB

Mikail Bagishov in Rust Beginners
По такому определению мощность суммы равна мощности сумм
источник
20:24пожаловаться#9

MB

Mikail Bagishov in Rust Beginners
Emmanuel Goldstein
Это не вполне общепринятое определение
Да сама операция редко нужная
источник
20:24пожаловаться#10

MB

Mikail Bagishov in Rust Beginners
Просто надо как угодно помахать руками и "раскрасить" элементы множеств, чтобы дубликаты стали отличаться цветом
источник
20:25пожаловаться#11

MB

Mikail Bagishov in Rust Beginners
В случае енума этим цветом оказывается, внезапно, вариант енума.
источник
20:26пожаловаться#12

D

Dmitry in Rust Beginners
Вы когда типы цветами называете, не забывайте указывать, о какой терминологии речь. Выглядит как птичий язык.
источник
20:27пожаловаться#13

MB

Mikail Bagishov in Rust Beginners
Emmanuel Goldstein
Это не вполне общепринятое определение
Википедия говорит что мы заменяем элемент на пару (элемент, номер множемства).
источник
20:28пожаловаться#14

MB

Mikail Bagishov in Rust Beginners
Dmitry
Вы когда типы цветами называете, не забывайте указывать, о какой терминологии речь. Выглядит как птичий язык.
Это язык размахивания руками.
источник
20:28пожаловаться#15

MB

Mikail Bagishov in Rust Beginners
Короче, вот статья в вики
https://ru.m.wikipedia.org/wiki/%D0%94%D0%B8%D0%B7%D1%8A%D1%8E%D0%BD%D0%BA%D1%82%D0%BD%D0%BE%D0%B5_%D0%BE%D0%B1%D1%8A%D0%B5%D0%B4%D0%B8%D0%BD%D0%B5%D0%BD%D0%B8%D0%B5
Wikipedia
Дизъюнктное объединение
Дизъюнктное объединение (также несвязное объединение или несвязная сумма) — это измененная операция объединения множеств в теории множеств, которая, неформально говоря, заключается в объединении непересекающихся «копий» множеств. В частности дизъюнктное объединение двух конечных множеств, состоящих из и элементов, будет содержать ровно элементов, даже если сами множества пересекаются.
источник
20:29пожаловаться#16

АГ

Алексей Герасимов... in Rust Beginners
это же из изоморфизма Карри-Говарда идет, что сиситема типов изоморфна соответствующей логике, типы изоморфны высказываниям, соответственно произведение типов это конъюнкция высказываний, истинным высказываниям соответствуют населенные типы, ложным - ненаселенные и т.д
источник
20:45пожаловаться#17

A

Adatan in Rust Beginners
А в чем разница между TryFrom и From, реализую для своих типов и понять не могу, когда применять одно, а когда другое
источник
20:52пожаловаться#18

MB

Mikail Bagishov in Rust Beginners
From если преобразование всегда успешно, TryFrom если оно может упасть
источник
20:52пожаловаться#19

A

Adatan in Rust Beginners
справедливо
источник
20:53пожаловаться#20