Метапрог-прототип 16 + СУВТ по енумам

вот тебе 2 идеи для послежующих демок накидали

metaprog, если будешь делать, вот тебе скриншот https://imgur.com/MESohnF тетриса «здорового человека». А то, боюсь, выйдет та же хрень, что и с «будильником метапрога».

Что такое СУВТ?

Алсо, венрните анонимов, приходится регистрироваться. Владимир.

Что такое СУВТ?

Структура условного выбора типа. Местный вариант Variant с накручиванием логики. Более подробно я и сам бы почитал (если б было что) или даже видос посмотрел (если б было где), а то пока что это действительно больше баззворд от авторов.

Владимир

Вот это поворот!

Что такое СУВТ? баззворд от авторов.

Гугл на запрос «Структура условного выбора типа» выдает первой ссылкой ЛОР, тему метапрога. Это успех я считаю :)

Владимир

Да он шутит я думаю. Владимир без анонима это неправильный Владимир.

Какой такой неправильный? Владимир как Владимир.

Владимир

Спасибо, теперь я вкурсе как выглядит Джон Малкович. Надо бы и фильм глянуть, может пойму тайну Владимира и тонкой сути данной картинки.

Надо бы и фильм глянуть…

Не трать время зря, какая-то херотень для эстетствующих педрил. 15 минут посмотрел и выключил.

А я думал, что это Жан Луи Трентиньян, хотя я видел его всего в 2 фильмах. Но если налысо побрить — то очень похож. Наверно.

Владимир

какая-то херотень для эстетствующих педрил.

При прочтении сюжета на википедии такие же мысли посетили.

Бессмертные: Война миров только видел из его фильмографии. И то он там озвучкой занимался.

Гугл на запрос «Структура условного выбора типа» выдает первой ссылкой ЛОР, тему метапрога. Это успех я считаю :)

По запросу «гуглопеды» тоже ЛОР. Очевидно, что Гугл пиариться по чёрному.

Во-во, я тоже его видел в фильмах Энки Билала ;)

Гугл на запрос «Структура условного выбора типа» выдает первой ссылкой ЛОР, тему метапрога. Это успех я считаю :)

Если выдумывать свою терминологию для давно изобретенных вещей, то естественно гугл на это будет реагировать. И это не успех.

Хотя, тут котечка писал:

Кста, QVariant умеет лишь часть из того что может СУВТ, в плюсах новые СУВТ вообще нормально не реализуются.

Но никаких реальных примеров использования пресловутых СУВТ приведено не было.

Полезных примеров, решающих какую-нибудь задачу.

Если выдумывать свою терминологию для давно изобретенных вещей, то естественно гугл на это будет реагировать. И это не успех.

Да я согласен. Про успех с иронией написал.

Но никаких реальных примеров использования пресловутых СУВТ приведено не было.

Да ТС толи стеснителен, толи шпион по натуре. :) Показывать ничего не спешит. А потом обижается что над ним потешаются. Либо очередная порция троллинга как вариант.

Да ТС толи стеснителен, толи шпион по натуре. :)

Надеюсь, пилит тетрис, поэтому занят и не отвечает.

Он просто запутался в жгутиках.

Главное что бы не в тентаклях…

Но никаких реальных примеров использования пресловутых СУВТ приведено не было.

Были примеры вроде, но только демки. Ща еще чуток багов побороть и можно будет на СУВТ сделать реализацию протокола Метапрог онлайн на Метапроге. Только времени катастрофически не хватает даже на то чтобы писать на ЛОРе.

Узнали? Согласны?

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

ТС, а зачем свои термины изобретать, когда СУВТ – это АДТ (Алгебраический Тип Данных)?

Звучит понятнее на самом деле, да и ОП не знал про АДТ когда придумывал название. Но можно ли считать что СУВТ == АДТ? СУВТ оно шире же, например есть возможность подключения разных имен к одному типу, и можно настраивать тип переключателя, в будущем возможно еще что нибудь добавится.

Ну как по мне АДТ вообще не СУВТ, хотя есть сходства в том, что это тип-суммы. В том же haskell

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

через newtype

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

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

Я тоже не знаю.

СУВТ оно шире же

Нет

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

В абсолютно всех современных языках есть такая возможность, даже в тех, где нет АДТ

можно настраивать тип переключателя

Какое отношение гуй имеет к системе типов?

ОП не знал про АДТ когда придумывал название

Да ладно, лол. Его реализация это один в один Tagged Union, прямо по книжке.

В абсолютно всех современных языках есть такая возможность, даже в тех, где нет АДТ

Хм. Ну покажи на расте работающий аналог вот этого:

enum Messages {
  Connect(id: uint32),
  Disocnnect(id: uint32),
  Kick(id: uint32), <--+
                       |
  ForceDisconnect -----+
}

Какое отношение гуй имеет к системе типов?

Я не говорил про гуй. Я говорил про возможность смены типа переключателя, сам переключатель не доступен ни в одном языке с АДТ.

Да ладно, лол.

Да.

Переключатель можно сделать enum'ом, и передать сам enum потом в другую переменную, а не целый СУВТ.

Хм. Ну покажи на расте работающий аналог вот этого:

Мне не понятно зачем это может в реальной жизни понадобиться, но держи.

https://play.rust-lang.org/?version=stable&mode=debug&edition=2018

Я говорил про возможность смены типа переключателя

Какой переключатель, о чем ты?

Что держать? Ты код забыл.

Какой переключатель, о чем ты?

СУВТ это:

struct SUVT {
  int perekluchatel; // обрати внимание
  union {
     struct {uint32_t id;} connect;
     struct {uint32_t id;} disconnect;
     ...
  } data;
};

Дак это и есть тэг. Это реализация Tagged Union по учебнику, лол)

Тэг может быть интеджером любого размера, и в расте и в си, и даже в го (тэг это обычно простой си-стайл enum).

То что в метапроге можно менять тип тэга – ну круто, конечно, но совершенно бесссмысленно, особенно учитывая что метапрог как визуальный язык более чем может абстрагировать строковые теги в интеджеры.

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

Я уже написал как это можно применить. К тому же тэг можно сделать uint8_t, и упаковать.

Что держать? Ты код забыл.

Случайно Ctrl задел пока строку переносил. Проверь еще раз.

Проверил, кода там нету.

Я уже написал как это можно применить

Где?

Метапрог-прототип 16 + СУВТ по енумам (комментарий)

К тому же тэг можно сделать uint8_t

Удивительно. То есть точно так же как по дефолту в си, расте и го. Инновации!

Держи правильную ссылку:

https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=2791dd4d87eaac8388d5fd6c3312839f

Где?

Метапрог-прототип 16 + СУВТ по енумам (комментарий)

Удивительно. То есть точно так же как по дефолту в си, расте и го. Инновации!

Ты что то путаешь, ну или я не знаю про упаковку.

А что не #define? Это засорение неймспейса, два ForceDisconnect не сделать.

Tagged Union обычно и делают с тегом в виде енама, а по дефолту енамы представлены как раз с помощью типа-алиаса к uint8_t.

В расте тэг тоже по дефолту – u8, пока количество вариантов меньше 2^8

Зачем ты просишь пример на расте, если ты не знаешь раст?

У раста нет глобального неймспейса, держу в курсе.

Ты типо не осилил и начал оправдываться? Мы же оба поняли о чем я, конфликт все равно возникнет в одном модуле.

И мне всё еще не яcно зачем эта фича может вообще понадобиться как часть определения енама.

Если тебе прямо енаме надо делать алиас к варианту – назови вариант сразу так как ты хочешь назвать алиас. Называть 2 вещи по разному непосредственно в самом определении, там где конфликтов имен не может быть в принципе – это шиза и говнокод.

Это может быть полезно на локальном уровне, в неймспейсе функции или модуля.

Ну шиза так шиза. АДТ это или нет?

конфликт все равно возникнет в одном модуле.

Угу, каждый день с трудом борюсь с этой проблемой. Очень тяжело жить, когда внутри одного модуля не получается придумать разные имена для сущностей…

/* тут я пытался привести ироничный пример в котором я страдаю от такого ограничение, но я даже придумать подобный сцуко не могу, настолько проблема надуманная */

Не горю желанием это обсуждать. Если тебе нинужно окей, я не против.

Мне вообще непонятно, зачем тип переключателя больше, чем uint8_t, если там надо больше вариантов в union, то это какой-то очень странный код.

man type theory

Хоть тысячу алиасов заведи, количество вариантов АДТ и алгебраичные свойства таких перечислений никак не меняются.

Видел клиентский апи телеграмма?

Нет, и что там в std::variant количество вариантов превышает размер uint8_t?

Там нет std::variant, там свой путь, но суть та же. Тэги у них 24-битные.

https://core.telegram.org/schema

И что там реально 24 бита нужны?