AZ
рантайм значения можно чекать в компайл тайм же
Size: a a a
2020 June 24
DF
Ето как
AZ
ты же чекаешь что у тебя инт прилетел, хотя по HTTP только текст передаётся
AZ
так же как в мейнстрим языках строчки разбирают на структурки
DF
В компайлтайме чекаешь?
DF
Интересно
AZ
Dollar Føølish
В компайлтайме чекаешь?
если ты где-то забыл распарсить строку то у тебя будет ошибка компиляции офк
DF
У вас и ио наверное чистое
DF
Шутка
AZ
понятно что сам процесс парсинга в рантайме
AZ
но проверка что ты в принципе не забыл парсить - компилятор чекает
DF
Да, теперь понятно
G
Dollar Føølish
Да, теперь понятно
А ты учил ATS?
DF
Немношк
DF
Ознакомительно
G
Я там правда в шаблоны не врубился
G
Потом забил
G
Ещё F* пробовал. Тоже не врубился
G
В итоге идрис самый лайтовый оказался