в котором MVar [] лежит

ну короткий массив вроде два слова

какой?

а можно ByteArray# наверное

а, коротких байтарреев-то нету

да, есть ByteStringShort

но и там ForeignPtr

но вроде у байтарреея-то тоже два слова

который тоже не одно слова

ByteArray должен мелким быть

2 ворда же вроде

указатель и сайз

у кого?

ByteArray#

ByteArray#

наверное

вся разница мелкий-крупный это же, с кардмаркингом или без

для байтаррея она не имеет смысла

так что там два слова должно быть

угу

и ForeignPtr ему не надо

ну вот, запакуем 4 ворда8 в 3 ворда

ну в 2.5

на 64 битах

там большой тред про CT был после такой же картинки

ну и толку? Понятно в случае здоровенных анбоксед векторов, но от этой упаковки полей какой-то выигрыш только в микроскоп разглядывать

этот символ это тоже самое что и `+`?

этот символ это тоже самое что и `+`?

дизъюнктное объединение

Either :D

Да, в теоркате это принято называть копроизведением и в основном конечно обозначают как ⊕

@xgrommx разве?

оно разве "тег" добавляет?

Неправда, вроде

т.е. Int \sqcup Int

так можно?

ну да) дизъюктивное объединение это же вроде тип суммы

@xgrommx разве?

Доказательство оставляется на рассмотрение читателя

Это объединение + дополнительно утверждается что пересечение пусто

вот, тогда Either не подходит?

а декартовое произведение это тип произведения

т.е. Int \sqcup Int

ну вот эта нотация не имеет смысла

imho

Вернее такая: {Int} \sqcup {Int}

{..,-1,1,2,3,..}

Какая разница, как обозначать дизъюнктное объединение?

главное чтобы все понимали что это такое

Вот именно

Дизъюнктное объединение (также несвязное объединение или несвязная сумма) — это измененная операция объединения множеств в теории множеств, которая, неформально говоря, заключается в объединении непересекающихся «копий» множеств. В частности дизъюнктное объединение двух конечных множеств, состоящих из {\displaystyle a} a и {\displaystyle b} b элементов, будет содержать ровно {\displaystyle a+b} a+b элементов, даже если сами множества пересекаются.

a + b

а в типовой алгебре это Either

Это объединение + дополнительно утверждается что пересечение пусто

Вообще говоря, эту фразу очень легко прочитать неправильно

Вообще говоря, эту фразу очень легко прочитать неправильно

Например?

https://en.wikipedia.org/wiki/Tagged_union

In computer science, a tagged union, also called a variant, variant record, discriminated union, disjoint union, or sum type, is a data structure used to hold a value that could take on several different, but fixed, types. Only one of the types can be in use at any one time, and a tag field explicitly indicates which one is in use. It can be thought of as a type that has several "cases," each of which should be handled correctly when that type is manipulated. Like ordinary unions, tagged unions can save storage by overlapping storage areas for each type, since only one is in use at a time.

Что значит "дополнительно утверждается"? Это условие на аргументы операции?

Нет же

Что значит "дополнительно утверждается"? Это условие на аргументы операции?

Ну вот у меня есть A = {a,b,c} и B = {d,e} и мне нужно C = {a,b,c,d,e}. Я могу написать C = A \cup B или A \sqcup b, но второе также implies A \cap B = \0.

Я может с ума схожу, но всегда использовал эту нотацию так.

Ну вот у меня есть A = {a,b,c} и B = {d,e} и мне нужно C = {a,b,c,d,e}. Я могу написать C = A \cup B или A \sqcup b, но второе также implies A \cap B = \0.

Вообще-то это не так

В университетском теорверчике всегда такая семантика была.

Когда ты хочешь разбить пространство на непересекающиеся множества.

Вот ето оно.

Ты пишешь A = \bigsqcup D_i

A \cup B и A \sqcup B вообще из разных элементов состоит так-то

🤔

Глянь определение

Выше скинули

Either :D

ну, то есть A + B ≅ Either A B ≅ A ⨆ B?

да

а ок

также можно проводить изоморфизмы коньюкции и дизъюкции

🤔

Обычное объедение даёт множество из элементов множеств-аргументов, а дизъюнктное - из кортежей

https://www.quora.com/What-is-a-sum-type

Это вообще разные операции короче

вообще как-то некрасиво что столь большая часть вопросов связана с нотацией

Обычное объедение даёт множество из элементов множеств-аргументов, а дизъюнктное - из кортежей

Я вижу уже определение, да. Странно, что я встречался с ним не раз и всегда видел что-то другое.

вообще как-то некрасиво что столь большая часть вопросов связана с нотацией

Кроме нотации и языка вообще ничего нет, или ты предлагаешь эмпатическими волнами общаться?

https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types