так, вот вы тут все пишите про этих заведующих типами, а я никак не пойму - какую проблему они решают. Все примеры что я по ним читал, решают какие-то пиздец далекие от реальной жизни проблемы. Я не знаю, может это какие-то специфические для ФП проблемы, может кто дать норм ссыль на почитать? В чем охуенность завтипов?!
Да банальная задача низкоуровневая - нужно сериализовать структуру в последовательность байт. Готовые решения по типу серде и бинкода не подходят, писать вручную макрос долго и бессмысленно. Мне нужно проверить чтобы в буфере было N байт, и чтобы после прочтения было 0 байт. На этапе компиляции. Чтобы знать что я не забыл где-то байты считать, или чтобы не считал больше чем размер сообщения. Как-то так
