Т8
сорри, не понял
Size: a a a
2021 May 03
ИЛ
UsernameRef можно создать из существующего &str
ИЛ
Без необходимости в ре-аллокации
Т8
ну без рантайм проверки в любом случае никуда, просто потому, что у тебя IO в рантайме
Т8
ну output ладно, а вот ввод
AN
В цпп все по-другому. Теоретически можно просто весь путь рантайма повторить в компайл тайм - продублировать все операции. Но это не сработает для программ которые долго работают, т.к. компилироваться они тоже будут долго.
AN
IO всегда надо либо валидировать либо доверять. Это не так важно.
Т8
ну и добро пожаловать в какой-нить хаскель, где полгода компилируется
Т8
ну о чём и речь. В крестах можно констэкспр классы делать и констэкспр сеттарами с валидацией при компиляции
AN
Да но в с++ гарантии если и есть то в конце когда уже Мэйн компилиться и инстанциирует. В хаскеле же они чекаются когда либу пишешь.
Т8
то есть, ты и в рантаййме можешь провалидировать, и в компайлтайме, где это возможно
AN
Я не знаю теории этих рефайнмент типов. Чо они делают?
Т8
у меня нет цели упороться и вообще всё, что возможно, перенести в компайлтайм. Но вот создать объект в компайлтайм и инициализировать его, если можно, то так и делаю
AN
Ну правильно. Не надо упарываться. Это же не наса рокет сайнз.
AN
Я просто рассуждаю о различиях
Т8
насколько я помню, ты можешь на имеющийся тип навесить констрейнт. И будет у тебя не
int со значениями от +-2 биллиона, а myint со значениями, например, (-100;+2биллиона)AN
Это не интересно
AN
Это можно везде
Т8
ну как везде. В Расте точно с этим не будет проблем? Компайлтайм у него местами хуже чем у крестов
AN
Интересно трэкать взаимоотношения между рантайм значениями. Это уже ближе к завтипам, но наверно завтипы это более общий концепт.