B
как такое (в случае типа суммы) в матче на полноту проверить?
Size: a a a
2021 May 27
а
кортеж это не тип сумма
а
я сейчас именно про кортежи, не про тип суммы или std::variant
B
да, а в кортеже ты предлагаешь не использовать кортежи просто?
B
тоесть у нас есть фича, которую можно только ручками использовать, а если нам нужна процедурность то нам нужно просто отказатся от этой фичи, тк у нас нет инстрментов для работы с ней
а
да, предлагаю использовать вместо них рекурсивные пары
а
их как раз можно процедурно обрабатывать
B
тогда у нас есть уродства, такие как frunk::coproduct и frunk::hlist, оба ужасны
B
я б даже сказал что они ужаснее std::tuple и std::variant
B
в случае последнего уродство исправимо хоть
а
frunk и hlist это для компайлтайм обработки значений же да?
B
нет, это как раз те рекурсивные пары, о которых ты говоришь
B
а самый рофл в том, что у глиста 20 функций по его переводу в тюпл
а
не уверен что понимаю зачем вводить hlist если в каждом языке можно использовать встроенные туплы и написать (((int, int), char), string)
а
Что такое "процедурность"?
H
orphan rules в rust
а
обработка в компайлтайме?
B
чтобы можно было (int, int, char, string), а hlist это буквально то что что ты написал
B
генерация типов во время компиляции
а
окей