AZ
если ифчики завёрнуты в типы, это не делает их сильно лучше
эмм, это ифчики на этапе компиляции
Size: a a a
2020 April 03
S
нет, это не ифчики на этапе компиляции.
AZ
а что это?
S
ну... Это конструктор типа, проверяющий все эти условия.
AZ
AZ
вот пример на скале
AZ
ифчик "число не выходит за границы массива" в компайл тайм проверяется
AZ
ну... Это конструктор типа, проверяющий все эти условия.
это просто парсинг числа в этот тип
AZ
ничем не отличается от
int x = atoi("123")S
позволь я объясню
S
твой пример на скале описывает заранее известные программе данные в виде типа. atoi способен работать с данными, которые НЕ известны во время компиляции
S
но все ифчики в нем естественно рантаймовые
DS
твой пример на скале описывает заранее известные программе данные в виде типа. atoi способен работать с данными, которые НЕ известны во время компиляции
Нет, см. applyDynamic, он там специально для таких вызовов
DS
Для тех, где i не известен в компайл тайме
DS
И смотри как он используется в get методе, где через lessOrEqualTo и lessTo получаются нужные доказательства
S
ну там с доказательствами, я в этом не разбираюсь, но всё сводится я так полагаю к тому, что всё равно всё либо известно во время компиляции, либо проверено в рантайме рантаймовыми ифами
p
твой пример на скале описывает заранее известные программе данные в виде типа. atoi способен работать с данными, которые НЕ известны во время компиляции
Неизвестные программе данные это очень маленькое количество входных данных. И не всегда важно что это за данные. Например в мессенджер ты отправляешь сообщение. Тут никаких проверок нет твоего сообщения. Но объем работы просто огромный - перегнать сообщение по сети на сервер, и потом показать тебе.
AZ
ну там с доказательствами, я в этом не разбираюсь, но всё сводится я так полагаю к тому, что всё равно всё либо известно во время компиляции, либо проверено в рантайме рантаймовыми ифами
вопрос в том, хранишь ли ты информацию о проверке рантаймовыми ифами
AZ
то есть "тут пришло число. А кто-то где-то проверил, что оно положительное?"
DS
ну там с доказательствами, я в этом не разбираюсь, но всё сводится я так полагаю к тому, что всё равно всё либо известно во время компиляции, либо проверено в рантайме рантаймовыми ифами
Там хитрее. Там код, который не скомпилится, если ты его вызовешь БЕЗ рантаймовых ифов для неизвестного числа.