Это как интерфейсы у классов, только для структур и они более compile-time чтоли

а почему это называется алгебраическим типом?

думал это про математику

Чето понятия не имею. Но так называется

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

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

Да еще там объяснено так что взрывается моск

Тип-сумма (англ. sum type; также Σ-тип, меченое объединение) — конструкция в языках программирования и интуиционистской теории типов[en], тип данных, построенный как дизъюнктное объединение исходных типов.

на самом деле там union + флажок какой тип лежит

?

ага

Ну и немного статической магии, чтобы список возможных типов задавался фиксированно при объявлении алгебраика

ну это в шаблоне происходит как я понимаю?

Да алгебраик это шаблон в котором нужно четко перечислить какие типы собираешься хранить внутри

спасибо буду знать что такое уже изобретено

название не удачное это точно

меченое объединение :) tagged algebraic

Кстати, а при вставке элмемента в начало массива получается, что аллокация будет *гарантирована*. Если в конце может быть место зарезервировано, то в начале же по идее такого быть не может

скорее всего, всё обойдется простым memmove внутри, аллокация будет, только если capacity меньше длины результирующего массива

Т.е. сложность на O(1) будет как при вставке в конец?

не, там же в любом случае будет сдвиг всех элементов массива

о! https://dlang.org/phobos/std_variant.html#Algebraic

Да это именно оно

Я почему-то подумал будто свой делался.

Я делал надстройку над этим чтобы содержимое могло еще без лишних телодвижений сериализоваться в vibe json

Кто-то пробовал упарываться partial примененем шаблонов?

О нашел что-то, круто https://forum.dlang.org/thread/brolwqbcuvhzomnusxby@forum.dlang.org

Тип-сумма (англ. sum type; также Σ-тип, меченое объединение) — конструкция в языках программирования и интуиционистской теории типов[en], тип данных, построенный как дизъюнктное объединение исходных типов.

простыми словами блин объясните, а то перечитал википедию и ничего не понял

Ну ты понимаешь что такое union?

Нет

У меня каша в голове. Юнион, алгебраические типы, Variants и тд

Тогда наверно забей, лучше не знать чем иметь кашу

Но юнион это базовое понятие во всей этой иерархии

Ну все же простыми словами можешь объяснить? Просто для меня Variant это структура которая может принимать фиксированный набор типов. Не больше, ни меньше

Нет

Так иди и прочитай!

https://ru.wikipedia.org/wiki/%D0%9E%D0%B1%D1%8A%D0%B5%D0%B4%D0%B8%D0%BD%D0%B5%D0%BD%D0%B8%D0%B5_(%D1%81%D1%82%D1%80%D1%83%D0%BA%D1%82%D1%83%D1%80%D0%B0_%D0%B4%D0%B0%D0%BD%D0%BD%D1%8B%D1%85)

целая статья аж в википедии

правда статья так себе

короче, на пальцах - union это то же самое что структура, но её члены лежат не рядышком друг с другом, а друг на друге. если запишешь одно то будет затёрто (повреждено, перезаписано) другое.

Набор указателей на одну точку в пространство?

Пространство в памяти, достаточное для записи значения любого из указанных типов.

А вариант это юнион с полем указывающим какой тип данных записан

короче, на пальцах - union это то же самое что структура, но её члены лежат не рядышком друг с другом, а друг на друге. если запишешь одно то будет затёрто (повреждено, перезаписано) другое.

Во! Вот это уже доступное объяснение

А где это бывает полезно?

Например при безопасном изменении одного типа на другой (вместо cast)

то есть, ты точно знаешь что твой ubyte это char? отлично, клади их в union и забирай оттуда

А где это бывает полезно?

При реализации интерфейсов.

Но там уже Variant

Мне кажется или у нас в чате тот самый товарищ Лопатин?

Мне кажется или у нас в чате тот самый товарищ Лопатин?

Который?

User buggins (Vadim Lopatin) https://github.com/buggins

Vadim это Вы?

А где это бывает полезно?

Это полезно в моей телеге :)

Мне кажется или у нас в чате тот самый товарищ Лопатин?

Да.

При реализации интерфейсов.

Блин, не понимаю. Можешь более развернуто ответить

Блин, не понимаю. Можешь более развернуто ответить

Не нужно - не пользуйся. Пригодится вспомнишь.

Я за год юнионы раза 4 юзал всего

Ну вот а мне прям в телеге понадобились почти сразу же причем без них можно сделать но очень криво будет

Я использовал при унификации разных протоколов

Блин, не понимаю. Можешь более развернуто ответить

Например, обращаешься ты к БД. Пишешь запрос. Она возвращает тебе набор каких-либо значений. Каких типов они могут быть и как их получить?

Еще и chat_id надо тоже переделать на алгебраик

@chebotarevp https://github.com/nexor/telega/pull/3 а почему оно падает в CI?

https://github.com/ikod/dlang-requests вот такое же и не падает

Да хз написано что там нет ssl библиотеки

ERROR: S client not available

Потом разберусь

конфиги тревеса сравнить вроде одинаковые

но он вайб в зависимости добавляет как 0.8

но подхватывается 0.8.3

странное короч

Ну вот, ничего не заблокировали

москва ещё не проснулась

Реестр же 2 раза в день обновляется, вроде)

Не-а

Когда захотят плюс есть понятие срочная блокировка, где нужно в течение часа заблокировать ресурс

Ну и почти все операторы как минимум в час выгрузку делают

ну будем ждать)

https://github.com/ikod/dlang-requests вот такое же и не падает

Там ищется и динамически подгружается доступная библиотека во время выполнения. В vibe она нужна во время компиляции и ему еще нужно знать версию libssl при компиляции. Есть где запутаться

Там ищется и динамически подгружается доступная библиотека во время выполнения. В vibe она нужна во время компиляции и ему еще нужно знать версию libssl при компиляции. Есть где запутаться

@chebotarevp это тебе

Да вроде как я понял там сборка как раз тестируется на версии без vibed

В requests?

Vadim это Вы? > ага

Да вроде как я понял там сборка как раз тестируется на версии без vibed

Да, без него. Если requests компилится с поддержкой vibe то конечно расчитывает уже полностью на vibe в плане ssl

Да, без него. Если requests компилится с поддержкой vibe то конечно расчитывает уже полностью на vibe в плане ssl

Слух, а ты - автор этой либы, верно же? Если да то мы в скайпе ее в свое время с тобой отлаживали по части openssl. У меня оно все не собиралось

Да

Оо автор в чате) а я как то не догадался. Ну респект ?

Спасиб )

Да

+ респект, юзаем у себя

+ респект, юзаем у себя

наздоровье ?

Да

Кек, значит вот кто выполнил мою просьбу :) https://github.com/ikod/dlang-requests/issues/51

Да, это радует, что автор в чате и русскоговорящий :)

правда я так и не воспользовался либой, но возможно воспользуюсь

да, я стараюсь добавлять фичи именно по запросу тк фич можно придумать много, но неизвестно кому они нужны и нужны ли вообще

за имплементацию этой фичи в вайб, я заплатил сонке 70 евро :)

))))) капец

за имплементацию этой фичи в вайб, я заплатил сонке 70 евро :)

Звучит как взятка

Ну я бы и тебе заплатил, если бы нужно было. Не вижу ничего плохого, чтобы платить людям за выполненную работу, особенно если эта работа прямо влияет на мою прибыль :)