M
Метапрограммирования позволяет тебе выражать сложные вещи
json!(hyak hyak) лучше конечно на макросахSize: a a a
2020 May 03
G
хотя не факт кстати
M
К примеру отношения типов локаций использования и тд
M
Генераторы тоже пример метапрограмм
G
json!(hyak hyak) лучше конечно на макросахможно попытаться на типах выразить, т.к. в идрисе можно любые операторы делать, но честно хз не пробовал
G
К примеру отношения типов локаций использования и тд
а конкретнее?
M
Блять...
G
Генераторы тоже пример метапрограмм
ну да
G
дсл по факту тожзе
G
где дсл формальная грамматика
G
можно попытаться на типах выразить, т.к. в идрисе можно любые операторы делать, но честно хз не пробовал
не все таки лучше не надо, т.к. чтобы прям жсон видеть так нельзя
M
M
Или типы порождают типы
M
Это будет метопрограммрй
M
Так что противопоставление смысла не имеет
M
Короче я один хер посмотрю почитаю и выскажу мнение пока я не особо готов но даже так я просто уверен что ты где то пытаешься меня наебать в плане замены ежа на ужа
G
ну тем что типы не совсем генерируют программы)
G
ты же не говоришь что значения генерируют программы
M
Ну почитаю продолжим ты щас в выигрыше ты и то и то знаешь я с tdd особо не знаком за исключением + и пары финтов
VG
крч типы не пораждают код, типы ограничивают возможные значения в коде, типы в компайлтайме ограничат значения возможные в рантайме, если посчитать тот же факториал на типах и ограничить что от инта останется только инт с 1 значением и выведешь в рантайме, то получишь вычисления/бизнес-логику в компайлтайме на типах