G
мне не приходится парсить, смотреть на краевые случаи
Size: a a a
2020 May 03
G
делаю декларативно
M
У тебя генератор конечный автоматов принимаюший на вход фаил к примеру или другое описание
/¯
Самый главный аргумент код на типах сложный
Сложный для кого? Читателя? Лол
M
Ты его хуй поймешь если он на типах будет
M
Сложный для кого? Читателя? Лол
Да
/¯
Да
Лол ещё раз
G
Лол ещё раз
+
M
В бусте я видел генерацию на типах
M
Не лол это
M
Это ад
G
Ты его хуй поймешь если он на типах будет
ну понимаю лол
G
В бусте я видел генерацию на типах
идрис это не буст тебе
/¯
В бусте я видел генерацию на типах
Буст это вообще хуевый пример много для чего
M
Ну началось
M
А где охуенный?
M
Покажите мне больщой проект написанный на типах
M
Хуле нет то
/¯
Приходят студенты на GSoC и за 5к USD ломают релиз и получают ачивку boost contributor
G
Ну началось
почему типы легче понимать?
самодокументируемость - они описывают твоё намерение в type-driven design. макросы непонятно что описывают, т.к. у них стёрт публчичный интерфейс, приходится писать хорошую документацию с иллюстрациями того что они делают. я часто себя находил при чтении тела макроса чтобы понять что он делает, на типах бы лишь на интерфейс смотрел.
самодокументируемость - они описывают твоё намерение в type-driven design. макросы непонятно что описывают, т.к. у них стёрт публчичный интерфейс, приходится писать хорошую документацию с иллюстрациями того что они делают. я часто себя находил при чтении тела макроса чтобы понять что он делает, на типах бы лишь на интерфейс смотрел.